在1996年的博士论文中，Maurice Pagnucco创造了首个AGM类的诱导扩展运算。基于他的运算及Atocha Aliseda启发的分类法，本论文旨在提出一种新的矛盾AGM类诱导扩展运算，能够吸收矛盾的解释假设而不导致平凡化和随之而来的荒谬认知状态，且给出了其公理及传递关系的部分收敛构造。这一形式化的发展在很大程度上得益于最近创建的矛盾逻辑RCbr，这是一种在信念修正背景下具有特别相关属性的形式不一致逻辑，尤其是自扩展性，即满足替换性质。本文为两篇论文中的第一篇：所宣布的矛盾诱导扩展运算属于一个新系统AGMpabd，尽管引入了许多有趣特性，但并未赋予矛盾否定和一致性操作符任何相关的认知角色。第二篇论文将进一步增强另一新系统AGMcircabd中的类似矛盾诱导扩展运算。然而，据我所知，本文所开发的运算在AGM文献中是首个此类运算。
博主点评： 本文提出的矛盾AGM类诱导扩展运算为信念修正提供了新的视角。通过引入能够处理矛盾的逻辑框架，研究者为解决认知冲突提供了有力工具，值得深入探讨其在实际应用中的潜力。