Abductive Reasoning as a Paraconsistent Belief Change (AGM) Process

• Grant number: 22/16498-7
• Support Opportunities: Scholarships in Brazil - Master
• Start date: June 01, 2023
• End date: February 28, 2025
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Marcelo Esteban Coniglio
• Grantee: Ulisses Franceschi Eliano
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

The main objective os this project is to formalize abductive reasoning as a belief change process and in order to tolerte contradictory explanatory hypotheses, among themselves or in relation to previous beliefs, in a given epistemic state. For this, the project is built on three theoretical pillars: i) the systematization and taxonomic standardization of the main aspects of abduction, ii) the belief revision logic (AGM)as the main belief dynamics modeling involved in abductive reasoning and iii) the paraconsistency integration - specifically related to logical of formal inconsistency (LFIs) - to the abductive reasoning model formalized under AGM belief revision logic.