吉隆坡一号

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


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

显示第1到第20个结果,共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)伊波尔特
  18. 巴德尔,弗兰兹;卢茨,卡斯滕;图尔汉,安妮亚斯明:小是再美的描述逻辑(2010)伊波尔特
  19. 巴德尔,弗兰兹;佩纳洛扎,拉斐尔:基于自动机的公理精确定位(2010)
  20. Friedmann,Oliver;Lange,Martin:模态不动点逻辑的求解器(2010)伊波尔特