通过翻译到一阶逻辑实现 EL 中的连接最小化溯因——技术报告

描述逻辑中的溯因寻找知识库的扩展，以使其蕴含一个观察结果。因此，它可以用于解释为什么观察结果不成立，修复不完整的知识库，并为意外的观察结果提供可能的解释。我们考虑轻量级描述逻辑 EL 中的 TBox 溯因，其中观察结果是一个概念包含，背景知识是一个 TBox，即一组概念包含。为了避免无用的答案，这类问题通常伴随着对解空间的进一步限制和/或有助于去芜存菁的最小化标准。我们认为现有的最小化概念是不充分的，并引入了连接最小化。该准则遵循奥卡姆剃刀原则，拒绝使用与手头问题无关的概念包含的假设。我们展示了如何以一种可靠且完备的方式计算一类特殊的连接最小化假设。我们的技术基于到一阶逻辑的翻译，并基于质蕴含构建假设。我们在医学领域的本体上评估了我们方法的原型实现。