Advanced search
Start date
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

AGM-like paraconsistent belief change

Full text
Testa, Rafael R. ; Coniglio, Marcelo E. ; Ribeiro, Marcio M.
Total Authors: 3
Document type: Journal article
Source: LOGIC JOURNAL OF THE IGPL; v. 25, n. 4, SI, p. 632-672, AUG 2017.
Web of Science Citations: 0

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGM., is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (AU)

FAPESP's process: 14/22119-2 - Advances and new perspectives on paraconsistent belief revision
Grantee:Rafael Rodrigues Testa
Support type: Scholarships in Brazil - Post-Doctorate
FAPESP's process: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS
Grantee:Walter Alexandre Carnielli
Support type: Research Projects - Thematic Grants