弗兰兹·巴德;拉斐尔·佩尼亚洛萨 公理精确定位在一般表格中。 (英语) Zbl 1191.68645号 J.日志。计算。 20,第1期,第5-34页(2010年). 摘要:描述逻辑(DL)中引入了公理精确定位,以帮助用户理解结果存在的原因,并通过计算具有(不具有)相关结果的知识库的最小(最大)子集来消除不必要的结果。DL文献中描述的大多数精确定位算法都是基于表的标准推理算法的扩展,用于计算DL知识库的结果。尽管这些扩展基于相似的思想,但它们都是针对特定DL的基于表格的特定算法引入的。本文的目的是开发一种将基于表格的算法扩展为精确定位算法的通用方法。这种方法基于“tableau算法”的一般定义,它捕获了DL中使用的许多已知的基于tableau的算法,以及其他类型的推理过程。 引用于16文件 MSC公司: 68T27型 人工智能中的逻辑 03B35型 证明和逻辑操作的机械化 68吨15 定理证明(演绎、解析等)(MSC2010) 68立方英尺 知识表示 关键词:解释;tableau方法;自动推理;精确定位 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{R.Peñaloza},J.Log。计算。20,第1号,第5--34号(2010;Zbl 1191.68645) 全文: 内政部 链接