動(dòng)作模型學(xué)習(xí)及其在軟件需求獲取中的應(yīng)用.pdf

1、智能規(guī)劃（intelligent planning）在實(shí)際應(yīng)用中所起的作用越來(lái)越重要，譬如，智能調(diào)度、醫(yī)療輔助等，在提高人們工作效率方面起了非常重要的作用。然而，智能規(guī)劃的應(yīng)用要求人工建立領(lǐng)域描述（domain description），包括謂詞描述、動(dòng)作模型描述等。這些“人工”的工作是非常耗時(shí)和困難的，它已經(jīng)成為智能規(guī)劃得到廣泛應(yīng)用的瓶頸。本文的研究試圖在一定程度上解決這個(gè)瓶頸，即：研究建立出算法框架（algorithm framew

2、orks），以自動(dòng)建立領(lǐng)域描述作為目標(biāo)，實(shí)現(xiàn)智能規(guī)劃應(yīng)用的“自動(dòng)化”，減少人為的工作。與前人的工作相比，本文主要研究學(xué)習(xí)出表達(dá)能力更強(qiáng)的動(dòng)作模型，譬如，具有量詞（quantifier）、數(shù)值變量等的動(dòng)作模型，進(jìn)一步推動(dòng)智能規(guī)劃的應(yīng)用。通過(guò)實(shí)驗(yàn)，我們說(shuō)明了本文的算法框架是有效的。 本文試圖將學(xué)習(xí)得到的動(dòng)作模型應(yīng)用于軟件工程——軟件需求獲取，進(jìn)一步推動(dòng)軟件工程的“自動(dòng)化”。軟件需求獲取是軟件開發(fā)過(guò)程的一個(gè)重要組成部分，是軟件工程中耗