基于自动识别技术的轨道衡装车控制系统.pdf

ISSN 1000-9825, CODEN RUXUEW E-mail: ******@iscas.
Journal of Software, , , May 2009, −1240
DOI: . Tel/Fax: +86-10-62562563
© by Institute of Software, the Chinese Academy of Sciences. All rights reserved.

∗
基于自动推理技术的智能规划方法
吕帅 1,2, 刘磊 1,2+, 石莲 1,2, 李莹 1,2
1(吉林大学计算机科学与技术学院,吉林长春 130012)
2(吉林大学符号计算与知识工程教育部重点实验室,吉林长春 130012)
Artificial Intelligence Planning Methods Based on Automated Reasoning Techniques
LÜ Shuai1,2, LIU Lei1,2+, SHI Lian1,2, LI Ying1,2
1(College puter Science and Technology, Jilin University, Changchun 130012, China)
2(Key Laboratory of putation and Knowledge Engineering of the Ministry of Education, Jilin University, Changchun
130012, China)
+ Corresponding author: E-mail: ******@jlu.
Lü S, Liu L, Shi L, Li Y. Artificial intelligence planning methods based on automated reasoning techniques.
Journal of Software, 2009,20(5):1226−1240. /1000-9825/
Abstract: This paper introduces the concrete details bining 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 petition 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.
Key words: intelligent planning; propositional logic; modal logic; nonmonotonic logic; description logic;
automated reasoning; satisfiability
摘要: 对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的
规划方法与规划系统,利用模态逻辑与析取推理的 Conformant 规划方法与规划系统,利用非单调逻辑的规划方法和
利用模糊描述逻辑的 Flexible 规划方法,并结合国际规划竞赛和相关论文等的实验结论说明上述方法的有效性和可
,提出目前基于自动推理技术的智能规划方法所面临的挑战、可能的处理方法以及与之相关的研究热点
与趋势.
关键词: 智能规划;命题逻辑;模态逻辑;非单调逻辑;描述逻辑;自动推理;可满足性
中图法分类号: TP18 文献标识码: A

∗ Sup