New perspectives in belief revision

• Grant number: 11/01384-1
• Support Opportunities: Scholarships in Brazil - Post-Doctoral
• Start date: August 01, 2011
• End date: February 28, 2013
• Field of knowledge: Humanities - Philosophy - Logic
• Principal Investigator: Marcelo Esteban Coniglio
• Grantee: Marcio Moretto Ribeiro
• Host Institution: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil
• Associated research grant: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS, AP.TEM

Abstract

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)