Busca avançada
Ano de início
(Referência obtida automaticamente do Web of Science, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores.)

AGM-like paraconsistent belief change

Texto completo
Testa, Rafael R. ; Coniglio, Marcelo E. ; Ribeiro, Marcio M.
Número total de Autores: 3
Tipo de documento: Artigo Científico
Fonte: LOGIC JOURNAL OF THE IGPL; v. 25, n. 4, SI, p. 632-672, AUG 2017.
Citações Web of Science: 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)

Processo FAPESP: 14/22119-2 - Avanços e novas perspectivas em revisão de crenças paraconsistente
Beneficiário:Rafael Rodrigues Testa
Linha de fomento: Bolsas no Brasil - Pós-Doutorado
Processo FAPESP: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS
Beneficiário:Walter Alexandre Carnielli
Linha de fomento: Auxílio à Pesquisa - Temático