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

• 作者: 刘磊 吕帅 李莹 石莲
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 智能规划 命题逻辑 模态逻辑 非单调逻辑 描述逻辑 自动推理 可满足性
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 1226-1240
• 页数: 15页
• 分类号: TPL8
• 字数: 17207字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2009.03468

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
5	吕帅	吉林大学计算机科学与技术学院	42	204	8.0	13.0
9	石莲	吉林大学计算机科学与技术学院	3	168	3.0	3.0