基于模型檢測(cè)的不確定規(guī)劃中的狀態(tài)可達(dá)性研究.pdf

1、智能規(guī)劃是人工智能的一個(gè)重要領(lǐng)域,不確定規(guī)劃是智能規(guī)劃的一個(gè)重要分支,它比經(jīng)典規(guī)劃更具有現(xiàn)實(shí)性。近年來(lái),很多研究人員對(duì)基于模型檢測(cè)的不確定規(guī)劃進(jìn)行了大量而深入的研究并取得了很好的成績(jī)?；谀Ｐ蜋z測(cè)的不確定規(guī)劃中,求解規(guī)劃問(wèn)題時(shí)需要反復(fù)的搜索動(dòng)作來(lái)尋找目標(biāo)狀態(tài),這帶來(lái)大量的冗余計(jì)算和重復(fù)操作。獲得一個(gè)不確定狀態(tài)轉(zhuǎn)移系統(tǒng)的狀態(tài)可達(dá)關(guān)系可以提高求解規(guī)劃問(wèn)題的效率,減少冗余計(jì)算,構(gòu)建狀態(tài)轉(zhuǎn)移系統(tǒng)的引導(dǎo)信息。因此,本文做了如下研究:
　　1

2、.不確定狀態(tài)轉(zhuǎn)移系統(tǒng)中,采用傳統(tǒng)的求解規(guī)劃問(wèn)題的方法去求解規(guī)劃問(wèn)題會(huì)產(chǎn)生大量的冗余計(jì)算,從而降低了求解效率。獲得不確定狀態(tài)轉(zhuǎn)移系統(tǒng)的非循環(huán)狀態(tài)可達(dá)關(guān)系可以使得求規(guī)劃問(wèn)題的強(qiáng)規(guī)劃解和弱規(guī)劃解的效率大大提高。本文設(shè)計(jì)了求不確定狀態(tài)轉(zhuǎn)移系統(tǒng)中非循環(huán)狀態(tài)可達(dá)關(guān)系的方法,以及在獲得不確定狀態(tài)轉(zhuǎn)移系統(tǒng)的非循環(huán)狀態(tài)可達(dá)關(guān)系后求解強(qiáng)規(guī)劃解的算法,并通過(guò)分析算法時(shí)間復(fù)雜度和實(shí)驗(yàn)得出結(jié)論:在獲得狀態(tài)可達(dá)性關(guān)系后求解強(qiáng)規(guī)劃解的效率有顯著的提高。從理論上證明了

3、求不確定狀態(tài)轉(zhuǎn)移系統(tǒng)的非循環(huán)狀態(tài)可達(dá)關(guān)系方法的正確性。
　　2.設(shè)計(jì)了求不確定狀態(tài)轉(zhuǎn)移系統(tǒng)中循環(huán)狀態(tài)可達(dá)關(guān)系的方法,循環(huán)可達(dá)關(guān)系是在不確定狀態(tài)轉(zhuǎn)移系統(tǒng)中普遍存在的一個(gè)可達(dá)關(guān)系。循環(huán)可達(dá)關(guān)系是可達(dá)關(guān)系的一個(gè)重要部分,求循環(huán)可達(dá)關(guān)系可以完善可達(dá)關(guān)系,增加狀態(tài)可達(dá)關(guān)系的應(yīng)用范圍。本文首先分析了循環(huán)可達(dá)關(guān)系的特點(diǎn),通過(guò)這些特點(diǎn)將循環(huán)可達(dá)關(guān)系進(jìn)行了分類。研究了各類循環(huán)可達(dá)關(guān)系之間的聯(lián)系;其次,定義了自身二可達(dá)關(guān)系并且證實(shí)了導(dǎo)致循環(huán)可達(dá)關(guān)系的