用模态逻辑构建非单调归因框架，揭示知识与推理关系。
Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
- 基于‘仅知’逻辑扩展出归因的模态表达方式
- 引入优先关系实现不同解释选择机制
- 为归因推理提供稳定的形式化基础
本文通过在Levesque的仅知逻辑基础上引入归因模态算子，构建了一个关于知识与归因的基本逻辑体系。该体系采用模态词汇描述归因推理与仅知状态之间的关系。进一步地，通过在模态框架中引入优先关系，提出非单调扩展框架，能够表达多种归因解释的选择策略。在该设定下，研究了非单调蕴含关系的核心元理论性质，证明其可为归因推理提供具有良好行为特征的形式基础。
原文摘要 · Abstract (English)
The paper introduces a basic logic of knowledge and abduction by extending Levesque logic of only-knowing with an abduction modal operator defined via the combination of basic epistemic concepts. The upshot is an alternative approach to abduction that employs a modal vocabulary and explores the relation between abductive reasoning and epistemic states of only knowing. Furthermore, by incorporating a preferential relation into modal frames, we provide a non-monotonic extension of our basic framework capable of expressing different selection methods for abductive explanations. Core metatheoretic properties of non-monotonic consequence relations are explored within this setting and shown to provide a well-behaved foundation for abductive reasoning.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。