软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2011年
1期
44-56
,共13页
蒋志华%饶东宁%姜云飞%朱慧泉
蔣誌華%饒東寧%薑雲飛%硃慧泉
장지화%요동저%강운비%주혜천
智能规划%放松式规划图%命题关系图%目标议程%宏动作
智能規劃%放鬆式規劃圖%命題關繫圖%目標議程%宏動作
지능규화%방송식규화도%명제관계도%목표의정%굉동작
对智能规划中的常用工具--放松式规划图(relaxed planning graph,简称RPG)的图论性质进行了深入研究.将RPG中的命题层抽取出来,得到一个不包含任何动作的命题关系图(proposition relation graph,简称PRG),发现PRG仍具有RPG的主要规划性质.初步研究结果包括以下4个方面:初始命题集(initial proposition set,简称IPS)的闭出邻集(close out-neighborhoods,简称CON)是放松式规划可达命题集(relaxed reachable proposition set,简称R-RPS);初始状态命题到目标状态命题的最大距离是规划解长度的合理估计;无圈序指出了对应命题被实现的顺序要求;出度或入度为1的结点收缩对应规划中构造的宏动作.上述结果中,前两者说明PRG保留RPG的主要规划性质,后两者可用于建立目标议程或宏动作提取等领域.还提出与上述结论相关的3种算法:从RPG中得到PRG的算法(复杂性为O(mn2),其中,n为RPG的命题数,m为RPG的动作数);约简无圈序算法(复杂性为O(n+m),其中,n为PRG的结点数,m用为PRG的边数);宏动作建议算法(复杂性为O(n2),n为PRG的结点数).
對智能規劃中的常用工具--放鬆式規劃圖(relaxed planning graph,簡稱RPG)的圖論性質進行瞭深入研究.將RPG中的命題層抽取齣來,得到一箇不包含任何動作的命題關繫圖(proposition relation graph,簡稱PRG),髮現PRG仍具有RPG的主要規劃性質.初步研究結果包括以下4箇方麵:初始命題集(initial proposition set,簡稱IPS)的閉齣鄰集(close out-neighborhoods,簡稱CON)是放鬆式規劃可達命題集(relaxed reachable proposition set,簡稱R-RPS);初始狀態命題到目標狀態命題的最大距離是規劃解長度的閤理估計;無圈序指齣瞭對應命題被實現的順序要求;齣度或入度為1的結點收縮對應規劃中構造的宏動作.上述結果中,前兩者說明PRG保留RPG的主要規劃性質,後兩者可用于建立目標議程或宏動作提取等領域.還提齣與上述結論相關的3種算法:從RPG中得到PRG的算法(複雜性為O(mn2),其中,n為RPG的命題數,m為RPG的動作數);約簡無圈序算法(複雜性為O(n+m),其中,n為PRG的結點數,m用為PRG的邊數);宏動作建議算法(複雜性為O(n2),n為PRG的結點數).
대지능규화중적상용공구--방송식규화도(relaxed planning graph,간칭RPG)적도론성질진행료심입연구.장RPG중적명제층추취출래,득도일개불포함임하동작적명제관계도(proposition relation graph,간칭PRG),발현PRG잉구유RPG적주요규화성질.초보연구결과포괄이하4개방면:초시명제집(initial proposition set,간칭IPS)적폐출린집(close out-neighborhoods,간칭CON)시방송식규화가체명제집(relaxed reachable proposition set,간칭R-RPS);초시상태명제도목표상태명제적최대거리시규화해장도적합리고계;무권서지출료대응명제피실현적순서요구;출도혹입도위1적결점수축대응규화중구조적굉동작.상술결과중,전량자설명PRG보류RPG적주요규화성질,후량자가용우건립목표의정혹굉동작제취등영역.환제출여상술결론상관적3충산법:종RPG중득도PRG적산법(복잡성위O(mn2),기중,n위RPG적명제수,m위RPG적동작수);약간무권서산법(복잡성위O(n+m),기중,n위PRG적결점수,m용위PRG적변수);굉동작건의산법(복잡성위O(n2),n위PRG적결점수).