arXiv:2409.04887cs.AIcs.LO2024-09被引 2
将累积推理系统拓展到概念层面，建立形式化框架并证明其完备性。
Defeasible Reasoning on Concepts
- 在概念语境下推广累计推理系统C与带环系统CL
- 构建了累积模型、有序模型与偏好模型的泛化版本
- 首次给出这些模型在概念设定下的逻辑完备性证明
本文首次尝试在KLM框架下发展概念层面的可撤回推理。我们定义了累积推理系统C和带环的累积推理系统CL在概念设定下的推广形式，并将累积模型、累积有序模型和偏好模型推广至概念语境。进一步，本文证明了这些推广模型的合理性与完备性，为概念层面的非单调逻辑推理提供了形式化基础。
原文摘要 · Abstract (English)
In this paper, we take first steps toward developing defeasible reasoning on concepts in KLM framework. We define generalizations of cumulative reasoning system C and cumulative reasoning system with loop CL to conceptual setting. We also generalize cumulative models, cumulative ordered models, and preferential models to conceptual setting and show the soundness and completeness results for these models.
逻辑推理概念建模非单调逻辑
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。