###
DOI:
Journal of Software:2009.20(5):1226-1240

基于自动推理技术的智能规划方法
吕帅,刘磊,石莲,李莹
(吉林大学 计算机科学与技术学院,吉林 长春 130012;吉林大学 符号计算与知识工程教育部重点实验室,吉林 长春 130012)
Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques
Lü Shuai,LIU Lei,SHI Lian,LI Ying
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 12445   Download 9326
Received:July 09, 2008    Revised:October 07, 2008
> 中文摘要: 对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.
Abstract: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 nonmonotonic 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.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60603031, 60773097, 60873044 (国家自然科学基金); the Specialized Research Fund 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 under Grant No.20060532 (吉林省科技发展计划项目) Supported by the National Natural Science Foundation of China under Grant Nos.60603031, 60773097, 60873044 (国家自然科学基金); the Specialized Research Fund 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 under Grant No.20060532 (吉林省科技发展计划项目)
Foundation items:
Reference text:

吕帅,刘磊,石莲,李莹.基于自动推理技术的智能规划方法.软件学报,2009,20(5):1226-1240

Lü Shuai,LIU Lei,SHI Lian,LI Ying.Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques.Journal of Software,2009,20(5):1226-1240