This paper introduces a novel paraconsistent AGM-like abductive expansion operation, designed to handle contradictory explanatory hypotheses without leading to trivialization. The operation is built upon Maurice Pagnucco's initial AGM-like abductive expansion and a taxonomy of abductive reasoning components. The development of this new operation, part of the AGMpabd system, was facilitated by the recent creation of the paraconsistent logic RCbr, which possesses self-extensional properties crucial for belief revision. AI
IMPACT Introduces a new theoretical framework for handling contradictory information in AI reasoning systems.
RANK_REASON The cluster contains a single academic paper detailing a new theoretical operation in artificial intelligence research. [lever_c_demoted from research: ic=1 ai=1.0]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
