吉隆坡一号

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

此软件的关键字

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

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

显示第1到第20个结果，共40个。
按年份排序(引用)
  1. 鲍姆加特纳，彼得；Schmidt，Renate A.：自下而上模型生成方法的阻塞和其他增强（2020）
  2. Nguyen，Linh Anh:ExpTime tableaux，带混合PDL的全局缓存（2020）
  3. 巴德尔，弗兰兹；博格沃德，斯特凡；Peñaloza，Rafael:关于带有一般概念包含的模糊（\mathcalA\mathcalL\mathcalC）的可判定状态（2015）
  4. 博格沃德，斯特凡；Peñaloza，Rafael:无限值哥德尔语义下的表达描述逻辑推理（2015）
  5. 施密特，雷诺A。；Waldmann，Uwe:具有分块和同余闭包的模态tableau系统（2015）
  6. 陶、贾；斯鲁茨基，乔拉；Honavar，Vasant:知识库中保密推理的概念框架（2015）
  7. 博格沃德，斯特凡；Peñaloza，Rafael:基于格的模糊描述逻辑中的一致性推理（2014）
  8. 微光，白桦；霍洛克斯，伊恩；莫蒂克，鲍里斯；斯托伊洛斯，乔戈斯；王哲：《隐士：猫头鹰2推理者》（2014）
  9. 施密特，雷诺A。；Tishkovsky，Dmitry:使用tableau来决定完全角色否定和身份的描述逻辑（2014）
  10. 戈雷，拉吉耶夫；Nguyen，Linh Anh:ExpTime tableaux for（\mathcalALC）使用声音全局缓存（2013）
  11. 陶、贾；斯鲁基，乔茨拉；Honavar，Vasant:PS\textscSpaceTableau算法的非循环模型化（\MathCalac）（2012）
  12. 巴德尔，弗兰兹；Peñaloza，Rafael:基于GCIs和乘积t-范数的模糊描述逻辑的不可判定性（2011）
  13. 卡明斯基，马克；施耐德，西格德；Smolka，Gert:带全局模式和角色层次的分级混合逻辑的终止表（2011）
  14. Meissner，Adam:描述逻辑的简单并行推理系统中一些计算规则的实验分析（2011）
  15. 阮林安；Szałas，Andrzej:ExpTime tableau decision procedures for regular grammar logics with converse（2011年）
  16. 施密特，雷诺A。；Tishkovsky，Dmitry:tableau calculi的自动合成（2011）
  17. 巴德尔，弗兰兹；贝克特，伯恩哈德；Nipkow，Tobias:推断：von der Theorie zur Anwendung（2010年）ioport公司
  18. 巴德尔，弗兰兹；卢茨，卡斯滕；图尔汉，安尼·亚斯明：小是再美的描述逻辑（2010）ioport公司
  19. 巴德尔，弗兰兹；Peñaloza，Rafael:基于自动机的公理精确定位（2010）
  20. 弗里德曼，奥利弗；Lange，Martin:模态不动点逻辑的求解器（2010）ioport公司