首页> 中文会议>2010年中国计算机大会 >命题动态逻辑的描述逻辑扩展

命题动态逻辑的描述逻辑扩展

页面导航

摘要
著录项
相似文献
相关主题

摘要

命题动态逻辑是模态逻辑最为成功的变种之一，在计算机科学和人工智能的众多领域发挥着重要作用. 作为W3C推荐的Web本体语言OWL的逻辑基础，描述逻辑在具有可判定性的同时提供了命题逻辑所无法比拟的刻画能力.本文将描述逻辑的刻画能力和推理特征引入到命题动态逻辑中，构造出基于描述逻辑ALC的动态逻辑系统ALC-PDL.以Buchi树自动机为工具，证明了ALC-PDL中公式的可满足性问题仍然是可判定的，并且其推理复杂度为EXPTIME-完全.在对Web服务的刻画和推理以及对本体的演化和管理等方面，ALC-PDL等基于描述逻辑的动态逻辑系统具有重要的应用价值.

著录项

来源
《2010年中国计算机大会》|2010年|249-255|共7页
会议地点杭州
作者
常亮; 王晓峰; 史忠植; 古天龙; 董荣胜;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类自动机理论;
关键词
命题动态逻辑; 描述逻辑; 可满足性问题; Buchi树自动机; 复杂度;

相似文献

中文文献
外文文献
专利

1. 描述逻辑的动态时序扩展 [J] . 孙永新 ,赵希顺 ,符志强 . 计算机应用研究 . 2012,第002期
2. CDDL:动态描述逻辑的不确定性扩展 [J] . 吴涛 ,金义富 . 计算机工程与科学 . 2011,第002期
3. 一类扩展的动态描述逻辑 [J] . 常亮 ,史忠植 ,陈立民 . 软件学报 . 2010,第001期
4. 面向矛盾问题的动态描述逻辑扩展研究 [J] . 王静 ,张健沛 ,杨静 . 哈尔滨工程大学学报 . 2009,第007期
5. 一种扩展的动态描述逻辑语言及其 Tableau 算法 [J] . 郝国舜 ,马世龙 ,眭跃飞 . 智能系统学报 . 2009,第003期
6. 基于ALC的扩展描述逻辑ALC+ [C] . Wen Bin ,文斌 ,Gan Jian hou . 第四届全国逻辑系统、智能科学与信息科学学术会议 . 2008
7. 基于三角模的模糊描述逻辑扩展研究 [A] . 邱晓春 . 2013

命题动态逻辑的描述逻辑扩展

摘要

著录项

相似文献

相关主题

期刊订阅