Lógica Fuzzy (LF)

A lógica difusa ou lógica fuzzy é uma generalização da lógica booleana que admite valores lógicos intermediários entre a falsidade e a verdade (como o talvez). Como existem várias formas de se implementar um modelo fuzzy, a lógica fuzzy deve ser vista mais como uma área de pesquisa sobre tratamento da incerteza, ou uma família de modelos matemáticos dedicados ao tratamento da incerteza, do que uma lógica propriamente dita.
A lógica difusa normalmente está associada ao uso de uma teopria de conjuntos fuzzy.
As implementações da lógica difusa permitem que estados indeterminados possam ser tratados por dispositivos de controle , como por exemplo avaliar conceitos como morno, médio...
Ao trabalhar com a lógica fuzzy é comum chamar a lógica boolenade lógica nítida.
Muitos pesquisadores de versões booleanas de lógica não aceitam a lógica fuzzy como uma verdadeira lógica, no sentido em que aceitam, por exemplo, a lógica modal. Isso pode ser associado a diferentes fatos, entre eles o fato de muitos modelos permitirem soluções aproximadas que não correspondem a uma "verdade" lógica.