帶有遠(yuǎn)程互斥的時(shí)態(tài)規(guī)劃的研究與實(shí)現(xiàn).pdf

1、智能規(guī)劃和規(guī)劃識(shí)別是近年來人工智能領(lǐng)域的研究熱點(diǎn),它的應(yīng)用廣泛,囊括了航空航天、人機(jī)交互、自然語言理解、軍事等許多領(lǐng)域。多年來,國內(nèi)外許多優(yōu)秀學(xué)者一直致力于智能規(guī)劃的研究,其中A.L.Blum和M.L.Furst在1995年提出的圖規(guī)劃方法使得智能規(guī)劃領(lǐng)域取得了革命性的進(jìn)展。然而早期智能規(guī)劃的研究都局限于STRIP域的規(guī)劃問題,即經(jīng)典規(guī)劃問題,這也就使得許多現(xiàn)實(shí)世界的問題不能得到解決,所以人們?cè)谘芯恐蟹艑捔私?jīng)典規(guī)劃的約定,從而產(chǎn)生了新的

2、規(guī)劃問題,如概率規(guī)劃、一致性規(guī)劃、時(shí)態(tài)規(guī)劃等等。
　　 規(guī)劃問題求解中互斥的應(yīng)用很廣泛。在一個(gè)問題中,很好的處理互斥約束可以給解決問題帶來效率上的顯著提高。所以,在之前的規(guī)劃器中,互斥的處理是不可或缺的。然而,所有經(jīng)典的互斥關(guān)系檢測的都是在同一時(shí)間步上的動(dòng)作或命題關(guān)系。2007年陳一昕等人在經(jīng)典規(guī)劃問題中提出了新的遠(yuǎn)程互斥約束。它擴(kuò)展了互斥約束的范圍,有效地對(duì)搜索空間進(jìn)行剪枝,在很大程度上提高了經(jīng)典規(guī)劃的求解效率。
　　

3、 經(jīng)典規(guī)劃忽略動(dòng)作的執(zhí)行過程,將動(dòng)作執(zhí)行時(shí)間看作是一個(gè)時(shí)間點(diǎn),動(dòng)作的執(zhí)行效果也是在瞬時(shí)完成的。而現(xiàn)實(shí)問題中,動(dòng)作都具有一定的執(zhí)行時(shí)長。時(shí)態(tài)規(guī)劃在求解規(guī)劃問題時(shí)引入了動(dòng)作的執(zhí)行時(shí)間這一因素,在規(guī)劃求解時(shí)考慮動(dòng)作的開始時(shí)間和執(zhí)行時(shí)間長度?；诮?jīng)典規(guī)劃器,現(xiàn)在產(chǎn)生了許多優(yōu)秀的時(shí)態(tài)規(guī)劃器,例如TGP、SAPA、CPPlanner。等。然而這些規(guī)劃器中,互斥約束都只局限于經(jīng)典的互斥關(guān)系,并未考慮動(dòng)作命題之間的最小可執(zhí)行距離。
　　 本文分