主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第6期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
吕帅,刘磊,石莲,李莹.基于自动推理技术的智能规划方法.软件学报,2009,20(5):1226-1240
基于自动推理技术的智能规划方法
Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques
投稿时间:2008-07-09  修订日期:2008-10-07
DOI:
中文关键词:  智能规划  命题逻辑  模态逻辑  非单调逻辑  描述逻辑  自动推理  可满足性
英文关键词:intelligent planning  propositional logic  modal logic  nonmonotonic logic  description logic  automated reasoning  satisfiability
基金项目: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 (吉林省科技发展计划项目)
作者单位
吕帅 吉林大学 计算机科学与技术学院,吉林 长春 130012
吉林大学 符号计算与知识工程教育部重点实验室,吉林 长春 130012 
刘磊 吉林大学 计算机科学与技术学院,吉林 长春 130012
吉林大学 符号计算与知识工程教育部重点实验室,吉林 长春 130012 
石莲 吉林大学 计算机科学与技术学院,吉林 长春 130012
吉林大学 符号计算与知识工程教育部重点实验室,吉林 长春 130012 
李莹 吉林大学 计算机科学与技术学院,吉林 长春 130012
吉林大学 符号计算与知识工程教育部重点实验室,吉林 长春 130012 
摘要点击次数: 11818
全文下载次数: 8414
中文摘要:
      对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可行性.最后,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点与趋势.
英文摘要:
      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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 
主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利