推进可处理多视角推理的边界：一种用于 Standpoint EL+ 的演绎演算
人工智能
2023-05-12 v2
摘要
Standpoint EL 是广受欢迎的描述逻辑 EL 的多模态扩展，允许相对于不同立场或视角对领域知识进行集成表示。其可满足性问题近期被证明处于 PTime 内，这使其成为一个用于大规模知识集成的前景框架。在本文中，我们展示可进一步推进该形式体系的表达力，得到一种称为 Standpoint EL+ 的扩展逻辑，它允许公理否定、角色链公理、自环及其他特征，同时保持可处理性。这是通过设计一种可满足性检查演绎演算实现的，该演算同时应对了对实用算法的需求。我们通过给出其演绎规则的 Datalog 原型实现来展示我们演算的可行性。
引用
@article{arxiv.2304.14323,
title = {Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+},
author = {Lucía Gómez Álvarez and Sebastian Rudolph and Hannes Strass},
journal= {arXiv preprint arXiv:2304.14323},
year = {2023}
}