arxivcs.AIcs.LO2026-06-30
AGM-like Paraconsistent Partial Meet Abductive Expansion Operation
In his 1996 doctoral thesis, Maurice Pagnucco created the first AGM-like abductive expansion operation. Taking his operation as a basis, as well as a taxonomy -- inspired by Atocha Aliseda -- responsible for highlighting and formalizing the main components of abductive reasoning,…