| 摘要: |
| 以规划领域中的动作为研究对象,提出了描述动作前提条件和效果之间关系的方法,定义了动作前提和效果之间的基本关系:直接伴随关系、条件伴随关系和直接阻碍关系等,这些基本关系反映了规划动作中所隐含的领域知识.对动作效果的基本关系,定义了进行关系组合的运算,产生出间接阻碍关系和绝对阻碍关系.间接阻碍关系反映出动作前提条件的传递性;绝对阻碍关系表达出实现一个谓词对其他谓词实现的影响.最后给出动作效果关系在规划求解过程中的具体运用,这些动作效果关系为目标实现顺序的排序、目标状态可解性的判定以及动作选择策略的优化等提供了必要的理论依据. |
| 关键词: 智能规划 规划领域 直接伴随关系 条件伴随关系 直接阻碍关系 间接阻碍关系 绝对阻碍关系 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Research Foundation for Doctoral Program of Ministry of Education of China (国家教育部博士点基金); the Special Foundation of SUN YAT-SET University of China (中山大学专项资金) |
|
| Research on Relations of Effect of Action for STRIPS Domain |
|
WU Xiang-Jun,JIANG Yun-Fei,LING Ying-Biao
|
| Abstract: |
| This paper anatomizes all actions in planning domain, proposes a descriptive method for the relations between preconditions and effects of action, and defines some basic relations between preconditions and effects of action, such as direct concomitant relation, conditional concomitant relation, and direct obstructive relation. These basic relations express the domain knowledge hiding in the definition of actions. For these basic relations, this paper defines some compound operations, and obtains indirect obstructive relations and absolute obstructive relations. The indirect obstructive relation shows the transitivity of preconditions of action, and the absolute obstructive relation expresses the impact on other predications when one predication is realized by action. Finally, this paper gives some applications of these relations in the planning system. These relations are the essential theory basis for sorting predications in target state, judging the target state, and optimizing the strategy of action selection for one predication. |
| Key words: AI planning planing domain direct concomitant relation conditional concomitant relation direct obstructive relation indirect obstructive relation absolute obstructive relation |
