Lógica não monotônica - Non-monotonic logic

Uma lógica não monotônica é uma lógica formal cuja relação de conclusão não é monotônica . Em outras palavras, as lógicas não monotônicas são concebidas para capturar e representar inferências derrotáveis ​​(cf. raciocínio derrotável ), ou seja, um tipo de inferência em que os raciocinadores tiram conclusões provisórias, permitindo que os raciocinadores retratem sua (s) conclusão (ões) com base em evidências adicionais. A maioria das lógicas formais estudadas tem uma relação de implicação monotônica, o que significa que adicionar uma fórmula a uma teoria nunca produz uma poda de seu conjunto de conclusões. Intuitivamente, a monotonicidade indica que aprender um novo conhecimento não pode reduzir o conjunto do que é conhecido. Uma lógica monotônica não pode lidar com várias tarefas de raciocínio, comoraciocínio por padrão (as conclusões podem ser derivadas apenas por falta de evidência do contrário), raciocínio abdutivo (as conclusões são deduzidas apenas como explicações mais prováveis), algumas abordagens importantes para raciocinar sobre o conhecimento (a ignorância de uma conclusão deve ser retirada quando o conclusão torna-se conhecida), e da mesma forma, revisão de crença (novos conhecimentos podem contradizer velhas crenças).

Raciocínio abdutivo

O raciocínio abdutivo é o processo de derivar uma explicação suficiente dos fatos conhecidos. Uma lógica abdutiva não deve ser monotônica porque as explicações prováveis ​​não são necessariamente corretas. Por exemplo, a explicação provável para ver grama molhada é que choveu; no entanto, essa explicação deve ser retirada ao descobrir que a verdadeira causa da grama estar molhada foi um aspersor. Como a explicação antiga (choveu) é retraída devido ao acréscimo de um conhecimento (um aspersor estava ativo), qualquer lógica que modele explicações é não monotônica.

Raciocinando sobre o conhecimento

Se uma lógica inclui fórmulas que significam que algo não é conhecido, essa lógica não deve ser monotônica. Na verdade, aprender algo que antes não era conhecido leva à remoção da fórmula que especifica que esse conhecimento não é conhecido. Essa segunda alteração (uma remoção causada por uma adição) viola a condição de monotonicidade. Uma lógica para raciocinar sobre o conhecimento é a lógica autoepistêmica .

Revisão de crenças

A revisão de crenças é o processo de mudança de crenças para acomodar uma nova crença que pode ser inconsistente com as antigas. Na suposição de que a nova crença está correta, algumas das antigas devem ser retiradas para manter a consistência. Essa retração em resposta ao acréscimo de uma nova crença torna qualquer lógica de revisão de crença não monotônica. A abordagem da revisão de crenças é alternativa às lógicas paraconsistentes , que toleram a inconsistência em vez de tentar removê-la.

Veja também

Notas

Referências

links externos