Logica fuzzy: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Storia: + ref |
+ Teoria del primo ordine |
||
Riga 1:
La '''logica fuzzy''' (o '''logica sfumata''' o '''logica sfocata''') è una [[logica]] in cui si può attribuire a ciascuna [[Logica proposizionale|proposizione]] o [[Teoria del primo ordine|predicato]] un grado di verità diverso da 0 e 1 e compreso tra di loro. È una [[logica polivalente]], ossia un'estensione della [[logica]] [[Algebra di Boole|booleana]]. È legata alla teoria degli [[insiemi sfocati]]. Già intuita da [[Werner Karl Heisenberg]], [[Jan Łukasiewicz]] e [[Max Black]], fu concretizzata da [[Lotfi Zadeh]].
Con ''grado di verità'' o ''valore di appartenenza'' si intende quanto è vera una proprietà, che può essere, oltre che vera (= a valore 1) o falsa (= a valore 0) come nella logica classica, anche parzialmente vera e parzialmente falsa.
| |||