吉隆坡一号

描述逻辑的tableau算法概述。描述逻辑是通过KL-ONE系统从语义网络和框架中派生出来的一系列知识表示形式。在过去的十年中，已经有研究表明，在各种描述逻辑中，重要的推理问题（如包含性和可满足性）可以用表格算法来决定。这并不奇怪，因为描述逻辑已经证明与命题模态逻辑和程序逻辑（如命题动态逻辑）密切相关，而tableau程序在这方面已经相当成功。然而，由于底层直觉和应用的不同，大多数描述逻辑与一般的模态逻辑和程序逻辑有很大的不同。因此，对描述逻辑中tableau算法的研究带来了新的技术和结果，然而，模态逻辑学家也对它们感兴趣。在这篇文章中，我们将集中讨论在描述逻辑中起重要作用的三个特征（数字限制、术语公理和角色构造器），并展示如何通过tableau算法来考虑它们。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考 40篇文章

显示第1到第40个结果。
按年份排序(引用)
  1. Baumgartner，Peter；Schmidt，Renate A.：自下而上模型生成方法的阻塞和其他增强（2020）
  2. Nguyen，Linh Anh:ExpTime tableaux，带混合PDL的全局缓存（2020）
  3. Baader，Franz；Borgwardt，Stefan；Peñaloza，Rafael:关于带有一般概念包含的模糊（\mathcalA\mathcalL\mathcalC）的可判定状态（2015）
  4. Borgwardt，Stefan；Peñaloza，Rafael:无限值哥德尔语义下表达描述逻辑的推理（2015）
  5. Schmidt，Renate A.；Waldmann，Uwe:带分块和同余闭包的模态表观系统（2015）
  6. Tao，Jia；Slutzki，Giora；Honavar，Vasant：知识库中保密推理的概念框架（2015）
  7. Borgwardt，Stefan；Peñaloza，Rafael:基于格的模糊描述逻辑中的一致性推理（2014）
  8. 格里姆，伯特；霍洛克斯，伊恩；莫蒂克，鲍里斯；斯托伊洛斯，乔戈斯；王哲：隐士：猫头鹰2推理者（2014）
  9. Schmidt，Renate A.；Tishkovsky，Dmitry:使用tableau确定具有完全角色否定和身份的描述逻辑（2014）
  10. Goré，Rajeev；Nguyen，Linh Anh:ExpTime tableaux for（\mathcalALC）使用声音全局缓存（2013）
  11. Tao，Jia；Slutzki，Giora；Honavar，Vasant:PS\textscSpaceTableau算法的非循环模型化（\MathCalac）（2012）
  12. Baader，Franz；Peñaloza，Rafael:基于GCIs和乘积t-范数的模糊描述逻辑的不可判定性（2011）
  13. Kaminski，Mark；Schneider，Sigurd；Smolka，Gert:带全局模式和角色层次结构的分级混合逻辑终止表（2011）
  14. Meissner，Adam:描述逻辑的简单并行推理系统中一些计算规则的实验分析（2011）
  15. Nguyen，Linh Anh；Szałas，Andrzej:正则语法逻辑的ExpTime tableau决策程序（2011）
  16. Schmidt，Renate A.；Tishkovsky，Dmitry:tableau calculi的自动合成（2011）
  17. 巴德尔，弗兰兹；贝克特，伯恩哈德；尼普科，托比亚斯：推断：冯德理论祖尔安文东（2010）ioport公司
  18. 巴德尔，弗兰兹；卢茨，卡斯滕；图尔汉，安妮亚斯明：小是再美的描述逻辑（2010）ioport公司
  19. 巴德尔，弗兰兹；佩纳洛扎，拉斐尔：基于自动机的公理精确定位（2010）
  20. Friedmann，Oliver；Lange，Martin:模态不动点逻辑的求解器（2010）ioport公司