基于自动推理技术的智能规划方法  

Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques

作　　者：吕帅[1,2] 刘磊[1,2] 石莲[1,2] 李莹[1,2] 

机构地区：[1]吉林大学计算机科学与技术学院,吉林长春130012 [2]吉林大学符号计算与知识工程教育部重点实验室,吉林长春130012

出　　处：《软件学报》2009年第5期1226-1240,共15页Journal of Software

基　　金：国家自然科学基金Nos.60603031;60773097;60873044;高等学校博士学科点专项科研基金Nos.20050183065;20060183044;20070183057;吉林省科技发展计划项目No.20060532~~

摘　　要：对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.This paper introduces the concrete details of combining the automated reasoning techniques with planning methods, which includes planning as satisfiability using propositional logic, Conformant planning using modal logic and disjunctive reasoning, planning as nonmonotonie logic, and Flexible planning as fuzzy description logic. After considering experimental results of International Planning Competition and relevant papers, it concludes that planning methods based on automated reasoning techniques is helpful and can be adopted. It also proposes the challenges and possible hotspots.

关 键 词：智能规划 命题逻辑 模态逻辑 非单调逻辑 描述逻辑 自动推理 可满足性 

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