登录 | 注册 | 退出 | 公司首页 | 繁体中文 | 满意度调查
综合馆
基于模态逻辑D公理系统的Conformant规划方法
  • 摘要

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

  • 作者

    吕帅  刘磊  李莹  石莲  Lü Shuai  Liu Lei  Li Ying  Shi Lian 

  • 作者单位

    吉林大学计算机科学与技术学院,长春,130012/吉林大学符号计算与知识工程教育部重点实验室,长春,130012

  • 刊期

    2009年7期 ISTIC EI PKU

  • 关键词

    conformant规划  模态逻辑  自动推理  可满足性  公理系统  D公理 

相似文献 查看更多>>
3.231.220.139