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

摘要：

对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法.并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.

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

所属期刊栏目：20

分类号：TPL8

资助基金：Supposed by the National Natural Science Foundation of China under Grant Nos.60603031,60773097,60873044;the Specialized Research Fond for the Doctoral Program of Higher Education of China under Grant Nos.20050183065,20060183044,20070183057;the Jilin Province Science and Technology Development Foundation of China underGrant No.20060532

在线出版日期：2009-06-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共15页

页码：1226-1240