超协调逻辑新突破：首项AGM型溯因扩展操作问世
原标题：AGM-like Paraconsistent Partial Meet Abductive Expansion Operation
速览
本论文基于Maurice Pagnucco的AGM型溯因扩展操作，结合Atocha Aliseda的分类，提出一种新的超协调溯因扩展操作，能容纳矛盾解释假设而不导致知识平凡化。该操作依赖新创的超协调逻辑RCbr（一种形式不一致逻辑），满足自外延性等信念修正关键性质。这是两篇系列论文的首篇，所提出的AGMpabd系统尚未赋予超协调否定和一致性算子以认识论角色。
AI 深度解读
AI 正在阅读原文并生成深度解读…（首次约 20–40 秒，之后秒开）
查看原文 →arxiv.org