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

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

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