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
- N. Bidoit e R. Hull (1989) " Minimalism, justification and non-monotonicity in deductive databases ", Journal of Computer and System Sciences 38 : 290-325.
- G. Brewka (1991). Raciocínio não monotônico: Fundamentos lógicos do senso comum . Cambridge University Press.
- G. Brewka, J. Dix, K. Konolige (1997). Raciocínio não monotônico - uma visão geral . Publicações CSLI, Stanford.
- M. Cadoli e M. Schaerf (1993) " Uma pesquisa de resultados de complexidade para lógicas não monotônicas " Journal of Logic Programming 17 : 127-60.
- FM Donini, M. Lenzerini, D. Nardi, F. Pirri e M. Schaerf (1990) " Nonmonotonic raciocínio ", Artificial Intelligence Review 4 : 163-210.
- DM Gabbay (1985). Fundamentos teóricos para o raciocínio não monotônico em sistemas especialistas . In: Apt KR (ed) Lógica e Modelos de Sistemas Concorrentes. OTAN ASI Series (Series F: Computer and Systems Sciences), vol 13. Springer, Berlin, Heidelberg, pp. 439–457.
- ML Ginsberg, ed. (1987) Readings in Nonmonotonic Reasoning . Los Altos CA: Morgan Kaufmann.
- Horty, JF, 2001, "Nonmonotonic Logic", em Goble, Lou, ed., The Blackwell Guide to Philosophical Logic . Blackwell.
- W. Lukaszewicz (1990) Non-Monotonic Reasoning . Ellis-Horwood, Chichester, West Sussex, Inglaterra.
- CG Lundberg (2000) " Feito sentido e sentido lembrado: Sensemaking através de abdução ," Journal of Economic Psychology : 21 (6), 691-709.
- D. Makinson (2005) Bridges from Classical to Nonmonotonic Logic , College Publications.
- W. Marek e M. Truszczynski (1993) Nonmonotonic Logics: Context-Dependent Reasoning . Springer Verlag.
- A. Nait Abdallah (1995) The Logic of Partial Information . Springer Verlag.
links externos
- Antonelli, G. Aldo. "Lógica não monotônica" . Em Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy .
- Lógica não monotônica em PhilPapers
- Lógica não monotônica no Indiana Philosophy Ontology Project