Busca avançada
Ano de início
Entree

Novas perspectivas em revisão de crenças

Processo: 11/01384-1
Linha de fomento:Bolsas no Brasil - Pós-Doutorado
Vigência (Início): 01 de agosto de 2011
Vigência (Término): 28 de fevereiro de 2013
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Marcelo Esteban Coniglio
Beneficiário:Marcio Moretto Ribeiro
Instituição-sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
Vinculado ao auxílio:10/51038-0 - Logical consequence, reasoning and computation - LOGCONS, AP.TEM
Assunto(s):Lógica paraconsistente   Lógicas não clássicas

Resumo

Revisão de crenças estuda a dinâmica dos estados epistêmicos na presença de inconsistências. Os trabalhos clássicos na área estudam operações em conjuntos de crenças. Em particular em revisão de crenças se estuda como adaptar um conjunto de crenças na presença de uma nova crenças inconsistente com as anteriores. As lógicas de inconsistência formal, por sua vez, são lógicas que lidam de forma direta com as inconsistências i.e.: a inconsistência é parte da própria linguagem da lógica. Uma propriedade importante dessas lógicas é a distinção que elas fazem entre trivialidade, inconsistência e contradição. Pretendemos estudar uma generalização da teoria de revisão de crenças (revisão de crenças ampla) capaz de abranger lógicas de inconsistência formal. (AU)

Mapa da distribuição dos acessos desta página
Para ver o sumário de acessos desta página, clique aqui.