•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.
–