文献类型：期刊文章

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

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

出　　处：《软件学报》

基　　金：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工程专项资金)

年　　份：2007

卷　　号：18

期　　号：3

起止页码：490-504

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI(收录号：20071810576779)、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：提出了谓词之间的一种相似关系,并用该相似关系得到可实现某谓词的动作集.利用该动作集中所有动作的公共前提谓词和公共效果谓词,提取出隐含在动作描述中的领域知识,并给出了描述领域知识的一种形式化方法.最后,对具体的规划问题,可利用领域知识判断出初始状态或目标状态中存在的矛盾.该领域知识的提取策略已应用于智能规划器StepByStep之中,所获取的领域知识对选择待实现的谓词提供了必要的理论依据.

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

分 类 号：TP18]