paraconsistent-logic

本文提出了一种新的次协调AGM类溯因扩展操作，基于次协调逻辑RCbr，能够吸收矛盾的说明性假设而不导致平凡化。这是AGM文献中首个此类操作。

本文系统阐述了调解模糊逻辑从类型-1基础到类型-2、类型-3和量子扩展的统一描述，确立了可靠性、次协调性和保守性，并给出了自动驾驶制动传感器融合的例子。