Novas perspectivas em Revisão de Crenças.

• Processo: 11/01384-1
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
• Data de Início da vigência: 01 de agosto de 2011
• Data de Término da vigência: 28 de fevereiro de 2013
• Área de 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
• Palavra(s)-Chave do Pesquisador: combinação de lógicas | Lógicas de inconsistência formal | Lógicas não clássicas | Lógicas Paraconsistentes | revisão de crenças | Revisão de Crenças e 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.