基于STRIPS的领域知识提取策略  

Strategy of Extracting Domain Knowledge for STRIPS World

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

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

出　　处：《软件学报》2007年第3期490-504,共15页Journal of Software

基　　金：Supported by the National Natural Science Foundation of China under Grant No.60173039(国家自然科学基金);the Special Foundation of 985 Project of SUN YAT-SEN University of China (中山大学985工程专项资金)

摘　　要：提出了谓词之间的一种相似关系,并用该相似关系得到可实现某谓词的动作集.利用该动作集中所有动作的公共前提谓词和公共效果谓词,提取出隐含在动作描述中的领域知识,并给出了描述领域知识的一种形式化方法.最后,对具体的规划问题,可利用领域知识判断出初始状态或目标状态中存在的矛盾.该领域知识的提取策略已应用于智能规划器StepByStep之中,所获取的领域知识对选择待实现的谓词提供了必要的理论依据.In this paper, a similarity relation between two predicates is defined first. To a given predicate, the set of action for the predicate can be obtained by the similarity relation. Then, the domain knowledge is extracted from the common fluent in preconditions and effects of all actions for each set of action, and the formalism for the domain knowledge is given. Finally, the contradictions in the initial states and the goal states in a particular planning problem with domain knowledge can be discovered. The strategy of extracting the domain knowledge is integrated in the planner StepByStep, and the domain knowledge is the necessary theory when one predicate by action is realized in the planner.

关 键 词：人工智能 智能规划 规划领域 STRIPS 相似关系 置换 领域知识 

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