REVISÃO DE CRENÇAS PARACONSISTENTE BASEADA NO OPERADOR FORMAL DE CONSISTÊNCIA

A REVISAO DE CRENCAS ESTUDA COMO AGENTES RACIONAIS MUDAM SUAS CRENCAS AO RECEBEREM NOVAS INFORMACOES. O SISTEMA AGM, TRABALHO MAIS IN UENTE DESTA AREA APRESENTADO POR ALCHOURRON, GARDENFOS E MAKINSON, POSTULA CRITERIOS DE RACIONALIDADE PARA OS DIFERENTES TIPOS DE MUDANCA DE CRENCAS E OFERECE CONSTRUCOES EXPLCITAS PARA TAIS { A EQUIVAL^ENCIA ENTRE OS POSTULADOS E OPERACOES E CHAMADO DE TEROEMA DA REPRESENTACAO. TRABALHOS RECENTES MOSTRAM COMO O PARADIGMA AGM PODE SER COMPATVEL COM DIFERENTES LOGICAS NAO-CLASSICAS, O QUE E CHAMADO DE AGM-COMPATIBILIDADE { ESTE E O CASO DA FAMLIA DE LOGICAS PARACONSISTENTES QUE ANALISAMOS, AS LOGICAS DA INCONSIST^ENCIA FORMAL (LFIS, DA SIGLA EM INGL^ES). A DESPEITO DA AGM-COMPATIBILIDADE, AO SE PARTIR DE UMA NOVA LOGICA SUA RACIONALIDADE SUBJACENTE DEVE SER ENTENDIDA E SUA LINGUAGEM DEVE SER EFETIVAMENTE USADA. PROPOMOS ASSIM NOVAS CONSTRUCOES QUE DE FATO CAPTURAM A INTUICAO PRESENTE NA LFIS { E O QUE CHAMAMOS DE SISTEMA AGM. COM ISSO, POSSIBILITAMOS A ESTAS LOGICAS UMA NOVA INTERPRETACAO, NA ESTEIRA DA EPISTEMOLOGIA FORMAL. EM UMA ABORDAGEM ALTERNATIVA, AO SE PARTIR DA AGM-COMPATIBILIDADE OS RESULTADOS AGM PODEM SER DIRETAMENTE APLICADOS AS LFIS { O QUE CHAMAMOS DE SISTEMA AGMP. EM AMBAS ABORDAGENS, PROVAMOS OS RESPECTIVOS TEOREMAS DA REPRESENTACAO SEMPRE QUE NECESSARIO.