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

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

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