首页 | 本学科首页   官方微博 | 高级检索  
     

基于自动推理技术的智能规划方法
引用本文:吕帅,刘磊,石莲,李莹.基于自动推理技术的智能规划方法[J].软件学报,2009,20(5):1226-1240.
作者姓名:吕帅  刘磊  石莲  李莹
作者单位:吉林大学计算机科学与技术学院,吉林,长春,130012;吉林大学符号计算与知识工程教育部重点实验室,吉林,长春,130012
基金项目: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 (吉林省科技发展计划项目)
摘    要:对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.

关 键 词:智能规划  命题逻辑  模态逻辑  非单调逻辑  描述逻辑  自动推理  可满足性
收稿时间:7/9/2008 12:00:00 AM
修稿时间:2008/10/7 0:00:00

Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques
LV Shuai,LIU Lei,SHI Lian,LI Ying.Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques[J].Journal of Software,2009,20(5):1226-1240.
Authors:LV Shuai  LIU Lei  SHI Lian  LI Ying
Affiliation:College of Computer Science and Technology;Jilin University;Changchun 130012;China;Key Laboratory of Symbolic Computation and Knowledge Engineering of the Ministry of Education;China
Abstract:
Keywords:
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号