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

被引：23

作者：

吕帅 ^{[1
,2
]}

刘磊 ^{[1
,2
]}

石莲 ^{[1
,2
]}

李莹 ^{[1
,2
]}

机构：

[1] 吉林大学计算机科学与技术学院

[2] 吉林大学符号计算与知识工程教育部重点实验室

来源：

软件学报 | 2009年 / 20卷 / 05期

基金：

高等学校博士学科点专项科研基金;

关键词：

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

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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

引用

页码：1226 / 1240

页数：15

共 19 条

[1] 基于扩展规则的模型计数与智能规划方法 [J].