L Gica FUZZY
A lógica fuzzy é a lógica baseada na teoria dos conjuntos fuzzy. Ela difere dos sistemas lógicos tradicionais em suas características e seus detalhes. Nesta lógica, o raciocínio exato corresponde a um caso limite do raciocínio aproximado, sendo interpretado como um processo de composição de relações nebulosas.
Na lógica fuzzy, o valor verdade de uma proposição pode ser um subconjunto fuzzy de qualquer conjunto parcialmente ordenado, ao contrário dos sistemas lógicos binários, onde o valor verdade só pode assumir dois valores: verdadeiro (1) ou falso (0). Nos sistemas lógicos multi-valores, o valor verdade de uma proposição pode ser ou um elemento de um conjunto finito, num intervalo, ou uma álgebra booleana. Na lógica nebulosa, os valores verdade são expressos linguisticamente, (e.g. : verdade, muito verdade, não verdade, falso, muito falso, ...), onde cada termo linguístico é interpretado como um subconjunto fuzzy do intervalo unitário.
Outras características da lógica fuzzy podem ser sumarizadas como segue : nos sistemas lógicos binários, os predicados são exatos (e.g. : par, maior que), ao passo que na lógica fuzzy os predicados são nebulosos (e.g. : alto, baixo, ...).
Nos sistemas lógicos clássicos, o modificador mais utilizado é a negação enquanto que na lógica fuzzy uma variedade de modificadores de predicados são possíveis (e.g. : muito, mais ou menos, ...). Estes modificadores são essenciais na geração de termos inguísticos (e.g. : muito alto, mais ou menos perto, etc).
Nos sistemas lógicos clássicos existem somente os quantificadores existenciais (∃) e universais (∀). A lógica fuzzy admite, em adição, uma ampla variedade de quantificadores (e.g. : pouco, vários, usualmente, frequentemente, em torno de cinco, etc ).
A probabilidade, no contexto da lógica clássica, é um valor numérico ou um intervalo. Na lógica nebulosa existe a opção adicional de se empregar probabilidades linguísticas (e.g.: provável, altamente provável, improvável, etc),