| 基于模态逻辑D公理系统的Conformant规划方法 |
| |
| 引用本文： | 吕帅,刘磊,李莹,石莲.基于模态逻辑D公理系统的Conformant规划方法[J].计算机研究与发展,2009,46(7). |
| |
| 作者姓名： | 吕帅 刘磊 李莹 石莲 |
| |
| 作者单位： | 1. 吉林大学计算机科学与技术学院,长春,130012
2. 吉林大学符号计算与知识工程教育部重点实验室,长春,130012 |
| |
| 基金项目： | 周家自然科学基金项目，高等学校博士学科点基金项目 |
| |
| 摘 要： | 2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架.将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式.构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程.并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.
|
| 关 键 词： | conformant规划 模态逻辑 自动推理 可满足性 公理系统 D公理 |
Conformant Planning as Modal Logic Axiomatic System D |
| |
| Lü Shuai,Liu Lei,Li Ying,Shi Lian.Conformant Planning as Modal Logic Axiomatic System D[J].Journal of Computer Research and Development,2009,46(7). |
| |
| Authors: | Lü Shuai Liu Lei Li Ying Shi Lian |
| |
| Affiliation: | College of Computer Science and Technology;Jilin University;Changchun 130012;Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education;Changchun 130012 |
| |
| Abstract: | More researchers have paid attention to conformant planning since conformant planning problems became the benchmarks of the undeterministic track of the International Planning Competition in 2006.Nowadays,all the planners which can be used to deal with conformant planning problems find a valid plan via searching the belief states in belief state spaces,which could be expressed as implicit structures or explicit formulas.In this paper,a novel modal logic-based planning framework is proposed by analyzing the ... |
| |
| Keywords: | conformant planning modal logic automated reasoning satisfiability axiomatic system D axiom |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
