基于狀態(tài)演算的并發(fā)綱要規(guī)劃的研究.pdf

1、智能規(guī)劃是人工智能的核心技術(shù)和最具挑戰(zhàn)性的研究方向之一，近十余年取得了快速發(fā)展，被廣泛地應用于航空航天、機器人控制、后勤調(diào)度、游戲角色設計和系統(tǒng)建模中。狀態(tài)演算是一種行動推理形式化系統(tǒng)，狀態(tài)演算是對情景演算和流演算的改進，為行動推理中框架問題和高效推理機制提出了一種自然有效的解決方案，具有更廣泛的適用范圍。本文基于狀態(tài)演算，圍繞動作的并發(fā)和綱要規(guī)劃進行研究，主要工作如下：
　　 (1)提出了一種基于狀態(tài)演算的并發(fā)綱要規(guī)劃。通過引

2、入規(guī)劃表達式，用以描述規(guī)劃中的各動作間順序、非確定選擇、并發(fā)等關(guān)系，特別是包含有相關(guān)同步并發(fā)、無關(guān)同步并發(fā)和交替并發(fā)的并發(fā)關(guān)系，給出規(guī)劃表達式的語法和語義，克服了現(xiàn)有的并發(fā)僅是交替并發(fā)或僅是同步并發(fā)的缺陷。給出的動態(tài)規(guī)劃Search算子是當在線執(zhí)行的狀態(tài)與前一次離線執(zhí)行的狀態(tài)不同時才進行再一次離線規(guī)劃，是對基于情景演算的動態(tài)規(guī)劃算子的一種改進。
　　 (2)設計并實現(xiàn)了基于狀態(tài)演算的并發(fā)綱要規(guī)劃的規(guī)劃器CPAPP-SC。給出了C