•Lógica Multivalores
–Uma das características da lógica
clássica é o axioma
do terceiro excluído, isto é, não existe uma terceira alternativa para um valor verdade além do par {Verdadeiro,
Falso}.
–No
mundo real, é comum que os conhecimentos disponíveis não sejam nem absolutamente verdadeiros nem absolutamente falsos, podendo ser,
por exemplo
paradoxais, incertos, desconhecidos, indeterminados, verdadeiros em geral, verdadeiros com uma certa
probabilidade, etc.
–Para
estender a lógica clássica, é necessário alterar o conjunto de valores verdade.
–Dois tipos de formalismos foram
propostos:
•valores verdade numéricos
(probabilidade, lógica
nebulosa, teoria das possibilidades, etc.)
•valores verdade simbólicos (3, 4 ou
mais valores verdade)
–Uma
lógica com três valores de verdade admite um valor de verdade que representa um valor entre verdadeiro e
falso.
–A
interpretação deste terceiro valor difere nas diversas lógicas
•pode indicar um estado de parcial ignorância;
•pode indicar a impossibilidade de se atribuir verdadeiro ou falso;
•pode indicar a falta de sentido de se
atribuir
verdadeiro ou falso.
–