Logique floue
La logique floue est une forme de logique à valeurs multiples dans laquelle les valeurs de vérité des variables peuvent être tout nombre réel compris entre 0 et 1 inclus.
Il est utilisé pour gérer le concept de vérité partielle, où la valeur de la vérité peut varier entre complètement vrai et complètement faux. En revanche, dans la logique booléenne, les valeurs de vérité des variables ne peuvent être que les valeurs entières 0 ou 1.
Le terme de logique floue a été introduit avec l’opposition de 1965 de la théorie des ensembles flous de Lotfi Zadeh. La logique floue avait cependant été étudiée depuis les années 1920, en tant que logique à valeur infinie - notablement par Łukasiewicz et Tarski.
La logique floue est basée sur l'observation que les gens prennent des décisions basées sur des informations imprécises et non numériques. Les modèles ou ensembles flous sont des moyens mathématiques de représenter des informations vagues et imprécises (d'où le terme flou). Ces modèles ont la capacité de reconnaître, de représenter, de manipuler, d’interpréter et d’utiliser des données et informations vagues et peu sûres.
La logique floue a été appliquée à de nombreux domaines, de la théorie du contrôle à l’intelligence artificielle.