Advanced search
Start date
Betweenand

Abductive Reasoning as a Paraconsistent Belief Change (AGM) Process

Grant number: 22/16498-7
Support Opportunities:Scholarships in Brazil - Master
Effective date (Start): June 01, 2023
Effective date (End): 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.

News published in Agência FAPESP Newsletter about the scholarship:
Articles published in other media outlets (0 total):
More itemsLess items
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)

Please report errors in scientific publications list using this form.