研究人员提出了一种新的 ABox 溯因方法，这是一种用于解释知识库中缺失推理的方法。本文探讨了结合多种期望属性和假设的最优性标准，这在以前没有被研究过。该研究侧重于 brave 和 AR 语义下的 EL_bot 系统，发现引入附加属性通常不会增加复杂性。 AI
影响 这项研究可能有助于为知识库补全生成更强大、更全面的假设。
排序理由 该集群包含一篇发表在 arXiv 上的研究论文，详细介绍了一种新的 ABox 溯因方法。
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
arXiv:2606.19197v1 Announce Type: cross Abstract: Abduction is a central approach to explain missing entailments from a knowledge base by providing a hypothesis, that would, if added to the knowledge base, make the missing entailment become true. Abduction under repair semantics …
Abduction is a central approach to explain missing entailments from a knowledge base by providing a hypothesis, that would, if added to the knowledge base, make the missing entailment become true. Abduction under repair semantics has recently been investigated in detail, where se…