STRIPS规划领域中动作效果关系的研究  

Research on Relations of Effect of Action for STRIPS Domain

作　　者：吴向军[1] 姜云飞[2] 凌应标[3] 

机构地区：[1]中山大学软件学院,广东广州510275 [2]中山大学信息科学与技术学院软件研究所,广东广州510275 [3]中山大学信息科学与技术学院计算机科学系,广东广州510275

出　　处：《软件学报》2007年第6期1328-1349,共22页Journal of Software

基　　金：国家教育部博士点基金;中山大学专项资金~~

摘　　要：以规划领域中的动作为研究对象,提出了描述动作前提条件和效果之间关系的方法,定义了动作前提和效果之间的基本关系:直接伴随关系、条件伴随关系和直接阻碍关系等,这些基本关系反映了规划动作中所隐含的领域知识.对动作效果的基本关系,定义了进行关系组合的运算,产生出间接阻碍关系和绝对阻碍关系.间接阻碍关系反映出动作前提条件的传递性;绝对阻碍关系表达出实现一个谓词对其他谓词实现的影响.最后给出动作效果关系在规划求解过程中的具体运用,这些动作效果关系为目标实现顺序的排序、目标状态可解性的判定以及动作选择策略的优化等提供了必要的理论依据.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.

关 键 词：智能规划 规划领域 直接伴随关系 条件伴随关系 直接阻碍关系 间接阻碍关系 绝对阻碍关系 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]