研究人员开发了一种使用理性闭包（RC）处理描述逻辑（DLs）中可废止知识的新方法。该方法应用于DL-Lite系列轻量级描述逻辑，重点关注实例检查和合取查询（CQ）应答。该贡献包括一个与现有经典推理器集成的插件架构，证明了基于RC的推理和DL-Lite的CQ应答可以高效地执行，且计算开销极小。 AI
影响 这项研究可以提高知识表示和推理系统的效率，特别是在需要处理不确定或可废止信息的应用中。
排序理由 关于描述逻辑新推理方法的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]
在 Hugging Face Daily Papers 阅读 →
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
arXiv:2606.24279v1 Announce Type: new Abstract: In Description Logics (DLs), reasoning under Rational Closure (RC) is a well-known and widely accepted non-monotonic formalism to handle defeasible knowledge. In this paper, we study the application of RC to the core and horn varian…
In Description Logics (DLs), reasoning under Rational Closure (RC) is a well-known and widely accepted non-monotonic formalism to handle defeasible knowledge. In this paper, we study the application of RC to the core and horn variants of the DL-Lite family of lightweight descript…