一种可废止的 $\mathcal{ALCH}$ 扩展的连接方法
计算机科学中的逻辑
2023-06-23 v2
摘要
本文针对一类容错的描述逻辑（DLs）提出了一种类似于 Bibel 的连接方法。就语言而言，我们假设 DL 扩展了两个典型性算子：一个作用于（复杂）概念，一个作用于角色名。该语言是文献中过去十年广泛研究的可废止 DLs 的一个变体，其中大多数可废止 DLs 都可被嵌入其中。我们重新审视了知识库的矩阵表示的定义，并确立了给定公理可证明的条件。我们证明了该演算终止，并且相对于非单调推理中广泛采用的偏好语义的 DL 版本是可靠且完备的。
引用
@article{arxiv.2306.09561,
title = {A connection method for a defeasible extension of $\mathcal{ALCH}$},
author = {Renan Fernandes and Fred Freitas and Ivan Varzinczak and Pedro PM Farias},
journal= {arXiv preprint arXiv:2306.09561},
year = {2023}
}