In his 1996 doctoral thesis, Maurice Pagnucco created the first AGM-like abductive expansion operation. This paper aims to present a new paraconsistent AGM-like abductive expansion operation capable of assimilating contradictory explanatory hypotheses without trivialization and the consequent absurd epistemic state, based on Pagnucco's work and a taxonomy inspired by Atocha Aliseda. The formal development relies on the recent creation of the paraconsistent logic RCbr, which establishes properties particularly relevant to belief revision contexts, especially the ability to be self-extensional, satisfying the replacement property. This is the first of two papers: the paraconsistent abductive expansion operation, which is part of a new system called AGMpabd, introduces many interesting features but does not assign any relevant epistemic role to the paraconsistent operators of negation and consistency. A second paper will enhance an analogous paraconsistent abductive expansion operation within another new system, AGMcircabd. To the best of my knowledge, the operation developed here is the first of its kind in the AGM literature.
Blogger's Review: The proposed paraconsistent AGM-like abductive expansion operation offers a fresh perspective on belief revision. By introducing a framework that can handle contradictions, the researcher provides a powerful tool for resolving cognitive conflicts, warranting further exploration of its practical applications.