理性闭包下可废止DL-Lite的可处理推理与合取查询回答

arXiv cs.AI 论文
description-logics reasoning conjunctive-query rational-closure dl-lite non-monotonic tractable

摘要

本文研究了描述逻辑DL-Lite家族的理性闭包，提供了一种插件架构，用于高效的非单调推理和合取查询回答，且计算开销最小。

arXiv:2606.24279v1 公告类型：新 摘要：在描述逻辑（DLs）中，理性闭包（RC）下的推理是一种广为人知且被广泛接受的处理可废止知识的非单调形式化方法。本文研究了RC在轻量级描述逻辑DL-Lite家族的核心和Horn变体中的应用。我们分析了RC下的包含（实例检测）和合取查询（CQ）回答。我们的主要贡献是提供了一种插件架构，该架构建立在现有的标准经典推理器之上，证明了在DL-Lite中，RC下的推理和CQ回答可以高效地完成，且计算开销极小。
查看原文
查看缓存全文

缓存时间: 2026/06/24 07:46 

# 理性闭包下可废止DL-Lite的易处理推理与合取查询回答
来源: https://arxiv.org/abs/2606.24279
查看PDF (https://arxiv.org/pdf/2606.24279)

> **摘要:**在描述逻辑\(DLs\)中，基于理性闭包\(RC\)的推理是一种众所周知且被广泛接受的、用于处理可废止知识的非单调形式化方法。本文研究了RC在DL-Lite轻量级描述逻辑家族的核心变体和Horn变体上的应用。我们分析了RC下的蕴涵（实例检测）和合取查询\(CQ\)回答。我们的主要贡献是提供了一种插件架构，该架构建立在现有标准经典推理器之上，证明了对于DL-Lite，在RC下的推理和CQ回答可以高效完成，且计算开销极小。

## 提交历史

来自: Giovanni Casini [查看电子邮件](https://arxiv.org/show-email/e7d18828/2606.24279) **\[v1\]** 2026年6月23日星期二 08:02:07 UTC (672 KB)

相似文章

DAIS：面向复杂推理的依赖感知中间问答监督

arXiv cs.CL

介绍DAIS，一种训练时框架，将思维链推理转化为依赖条件化的中间问答记录，为复杂推理提供更好的监督。在政策合规基准测试上，相比基线实现了高达5.6%的准确率提升。

通过推理空间压缩的结构化理由蒸馏

arXiv cs.CL

本文提出了 D-RPC，一种通过将推理路径压缩为可复用库，从而将大型语言模型的推理能力蒸馏给较小模型的方法，该方法在数学和常识基准测试中实现了更好的性能和一致性。