Revisão de crenças: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
explicação das variáveis dos postulados AGM, links. |
|||
Linha 5:
==O Paradigma AGM==
A teoria predominante em revisão de crenças é a teoria conhecida como Paradigma AGM (nome faz referência aos autores: Alchourrón, Gärdenfors e Makinson)<ref name="agm85">Alchourrón, C., Gärdenfors, P. e Makinson, D. (1985) On the logic of theory change: Partial meet contraction and revision functions. ''Journal of Symbolic Logic''</ref>. Nessa teoria os autores sugerem a representação do estado de crenças através de um conjunto de sentenças lógicas [[fecho dedutivo|dedutivamente fechado]], chamado conjunto de crenças. Sobre esse conjunto, três operações são previstas: expansão, contração e revisão. A expansão é a mera adição de uma nova sentença seguida do fechamento lógico do conjunto. A contração é a eliminação de uma crença (o conjunto resultante não deve implicar logicamente a crença contraída). A revisão é a adição de uma nova crença (como na expansão), mas com o requerimento adicional de que o conjunto resultante deve ser [[Consistência_lógica|consistente]].
A operação de expansão é única, mas no caso de contração e revisão diversas operações são possíveis. Os autores apenas delimitam as possíveis operações exigindo que elas obedeçam alguns [[postulado|postulados]] de racionalidade. Considerando que <math>-</math> representa a operação de contração, <math>Cn</math> é o [[Consequência_lógica|operador de consequência]] da [[lógica proposicional]] [[lógica clássica|clássica]], <math>K</math> é um conjunto de crenças, <math>\alpha,\beta</math> são sentenças e <math>K + \alpha = Cn(K \cup \{\alpha\})</math>, os seis postulados AGM para contração são:
| |||