Lógicas Não-Clássicas
Lógica Multivalores
LÓGICA DE BELNAP
- As lógicas de Kleene (1952), Lukasiewicz (1920) e Bochvar (1939) são anteriores ao início da IA.
- Em 1977, Belnap propôs uma lógica de 4 valores verdade, projetada especificamente para servr como base para um sistema computacional de perguntas e respostas capaz de, mesmo em face de contradições, continuar a gerar respostas compatíveis com as informações anteriormente armazenadas.
- O conjunto de valores verdade é o seguinte:
B = {{}, {V}, {F}, {V,F}}
onde os valores tem as seguintes interpretações:
{} = desconhecido
{V} = absolutamente verdadeiro
{F} = absolutamente falso
{V,F} = contraditório