Bolsa 22/16498-7 - Revisão de crenças - BV FAPESP
Busca avançada
Ano de início
Entree

O Raciocínio Abdutivo enquanto um processo de mudança de crenças (AGM) paraconsistente

Processo: 22/16498-7
Modalidade de apoio:Bolsas no Brasil - Mestrado
Data de Início da vigência: 01 de junho de 2023
Data de Término da vigência: 28 de fevereiro de 2025
Área de conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Marcelo Esteban Coniglio
Beneficiário:Ulisses Franceschi Eliano
Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Assunto(s):Revisão de crenças
Palavra(s)-Chave do Pesquisador:abdução | Agm | Paraconsistência | Raciocínio Abdutivo | revisão de crenças | Abdução

Resumo

Este projeto tem como principal objetivo formalizar o raciocínio abdutivo pensado como um processo de mudança de crenças e de modo a possibilitar hipóteses explicativas contraditórias, entre si ou entre crenças prévias, em um determinado estado epistêmico. Para isso, serão três os principais pilares teóricos deste projeto: i) a sistematização e a padronização taxonômica dos principais aspectos da abdução, ii) a lógica de revisão de crenças AGM como principal modelagem da dinâmica das crenças envolvida no raciocínio abdutivo e iii) a integração da paraconsistência - especificamente relativa às lógicas da inconsistência formal (LFIs) - à modelagem do raciocínio abdutivo formalizado sob lógica de revisão de crenças AGM.

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Mais itensMenos itens
Matéria(s) publicada(s) em Outras Mídias ( ):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)