Lógicas Não-Clássicas
Lógica Não Monotônicas
EXEMPLO
- Todo pássaro pode voar.
- Tweety pode voar?
- Na ausência de informações contrárias um pássaro normal voa - Logo, Tweety voa.
- Mas descobre-se que Tweety é um pinguim (pinguins não são pássaros normais no que se refere á capacidade de voar) - Logo, Tweety não voa.
- Mas descobre-se que Tweety é um pinguim do planeta Krypton e que ele não é um pássaro ou um pinguim normal, e que no planeta Krypton pinguins voam - Logo, Tweety voa.
- Mas descobre-se ...