Lógica não monotônica: diferenças entre revisões

[[Revisão_de_crenças|Revisão de crenças]] é o processo de mudar crenças para acomodar uma nova crença que pode ser inconsistente com as crenças prévias. Na suposição que a nova crença é correta, algumas das crenças antigas devem ser retraídas para manter a consistência. Essa retração em resposta à adição de uma nova crença faz com que qualquer lógica para revisão de crenças seja não monotônica. A abordagem de revisão de crenças é alternativa a [[Lógica_paraconsistente|lógicas paraconsistentes]], que toleram inconsistências em vez de tentar removê-las.