Paraconsistent Belief Revision：一种用于认知深化的替换丰富型形式化不一致逻辑
摘要
我们进一步发展了Paraconsistent Belief Revision（PBR）的形式基础，通过引入专为支持认知深化模型而设计的Logics of Formal Inconsistency（LFIs），以发展基于认知深化的信念变更模型。对形式一致性——更广泛地说，对paraconsistency——以理性主体所采取的认知态度以及这些主体推理于可能存在但非平凡矛盾认知状态的态度进行解释，已在基于LFIs的PBR文献中得到充分阐述。然而，之前的做法面临一个关键局限：大多数LFIs缺乏替换功能，阻碍了构建认知深化操作。我们通过首先重访和系统化构建此类建模所必需的核心属性，深入检视和发展其形式化属性来弥补这一空白。基于此，我们引入RCbr，这是Cbr的一个替换丰富型、自扩展的延伸，使得在LFIs框架内，能够形式化地定义认知深化并构建基于认知深化的信念修订机制。这一发展使Paraconsistent情境下的信念修订能够实现完全的构造性方法，进一步推进了LFIs和paraconsistency在更广泛的认知状态与信念动态领域的理论处理。
引用
@article{arxiv.2412.06117,
title = {Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment},
author = {Marcelo E. Coniglio and Martin Figallo and Rafael R. Testa},
journal= {arXiv preprint arXiv:2412.06117},
year = {2026}
}
备注
Several typos were corrected. We include in Section 5 a brief presentation of external revision and semi-revision. A new Subsection 6.1 presents concrete examples and highlight the main gains of our proposal with respect to classical AGM and other paraconsistent frameworks. The preprint was retitled with its final version name