–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
–
•Não Monotonicidade
–Fórmulas
quantificadas universalmente na lógica de predicados são válidas para qualquer elemento do domínio, sem nenhuma
exceção.
–Certas
situações do mundo real (percepção, ambigüidade, senso comum, causalidade ou predição) são a tal ponto complexas,
que qualquer
conhecimento sobre elas será inevitavelmente incompleto.
–Um
formalismo para raciocinar neste tipo de situação deve admitir expressões que sejam válidas em geral e capazes de
reconhecer e assimilar
exceções quando necessário.
–Neste
caso, corre-se o risco de retirar conclusões anteriores face a novas informações, o que caracteriza a não-monoticidade.