欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
对几种智能规划方法中利用的逻辑演绎与推理技术予以分析，分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统，利用模态逻辑与析取推理的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 nonmonotonie 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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：