论文部分内容阅读
2006年，conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题，得到研究人员的广泛关注．目前，conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解．通过分析conformant规划问题的语法和语义，提出新的基于模态逻辑的规划框架，将其转换为模态逻辑D公理系统的一系列定理证明问题．提出2种基于模态逻辑的编码方式，构造相应的公理与推理规则形成模态公式集，保证对于D系统的定理证明过程等同于原问题的规划过程，并通过问题实例验证该方法的有效性．继基于SAT、CSP、