研究人员开发了一种处理描述逻辑（DLs）中可废止知识的新方法，特别关注DL-Lite系列轻量级逻辑。这种称为理性闭包（RC）的方法允许非单调推理，这意味着如果新信息与之矛盾，结论可能会被修改。该研究在RC下分析了权利和合取查询（CQ）应答，提出了一种即插即用架构，该架构与现有的经典推理器集成，以实现高效计算和最小开销。 AI
影响 这项研究为知识表示系统中处理不确定或可废止信息提供了一种更有效的方式，有可能提高AI处理不完整或不断变化数据的推理能力。
排序理由 该集群包含一篇学术论文，详细介绍了描述逻辑领域的一项新研究贡献。
在 Hugging Face Daily Papers 阅读 →
- Conjunctive Query
- description logic
- DL-Lite
- Giovanni Casini
- Hugging Face
- Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure
- Umberto Straccia
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
