吉隆坡一号

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


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公司