发表机构
Institute of Philosophy and the Humanities (IFCH) and Centre for Logic, Epistemology and The History of Science (CLE), University of Campinas (UNICAMP)（坎皮纳斯大学哲学与人文学院（IFCH）及逻辑、认识论与科学史中心（CLE））
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文以莫里斯·帕格努科的类AGM溯因扩张运算为基础，提出新的弗协调类AGM溯因扩张运算，介绍其假设和构造，虽该运算有有趣特性，但未赋予弗协调否定和一致性算子相关认知作用，第二篇论文将改进，此运算在AGM文献中为首创。
AI 中文摘要
1996年，莫里斯·帕格努科创建了首个类AGM溯因扩张运算。本文以其运算为基础，受阿托查·阿里塞达分类法启发，旨在提出一种新的弗协调类AGM溯因扩张运算，及其假设和传递关系部分交构造，该运算能吸收矛盾解释假设而不致平凡化。本文的形式发展很大程度上得益于弗协调逻辑RCbr的创建。这是两篇论文中的第一篇，虽有诸多有趣特性，但未赋予弗协调否定和一致性算子相关认知作用，第二篇论文将在另一新系统中对此进行改进。据作者所知，本文运算在AGM文献中尚属首次。
英文摘要
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, the main aim of this paper is to present a new paraconsistent AGM-like abductive expansion operation -- capable of assimilating contradictory explanatory hypotheses without trivialization and the consequent absurd epistemic state -- with its postulates and its transitively relational partial meet construction. To a large extent, the formal development presented in this paper was only made possible by the recent creation of the paraconsistent logic RCbr, an LFI (Logics of Formal Inconsistencies) that establishes properties especially relevant to belief revision contexts, in particular, the ability to be self-extensional -- i.e., to satisfy the replacement property. This is the first of two papers: the paraconsistent abductive expansion operation announced here -- which is part of a new system called AGMpabd -- despite bringing many interesting features, does not assign any relevant epistemic role to the paraconsistent operators of negation and consistency. Only in a second paper will an analogous paraconsistent abductive expansion operation -- which is part of another new system, AGMcircabd -- be enhanced in this direction. Nevertheless, to the best of my knowledge, the operation developed in this paper is the first of its kind in the AGM literature.
