La définition de Flou

Flou se dit d'un ensemble, d'un concept, d'une représentation, dont les frontières sont mal tracées ou progressives.

Les frontières d'un concept

Dans la logique classique, les frontières d'un ensemble (ou d'un concept), sont parfaitement délimitées. Cela signifie que pour n'importe quel élément on peut déterminer sans ambiguïté s'il appartient ou non à l'ensemble, s'il relève ou non du concept. L'appartenance à l'ensemble peut seulement prendre deux valeurs: vrai ou faux, qui sont symbolisées par 1 ou 0.
Mais il est de fait que les représentations naturelles, celles dont traite la psychologie, ou les significations de mots ne se conforment pas toujours à ce modèle. En effet, il peut exister des représentations ou des significations telles que l'on ne sache pas au juste, pour un élément donné, si cet élément relève ou non du concept. Par exemple: « est-ce que ceci est du bleu ? », avec une réponse: « je dirais plutôt que c'est un vert bleuâtre ». Pour ces concepts et ces éléments, on tend plutôt à répondre à la question de l'appartenance par: « oui et non », « cela dépend », « à peu près », « à la rigueur », « plutôt non », etc.

La logique floue

On peut modéliser cet état de choses en définissant pour ces concepts ou représentations une région frontière, dotée de caractéristiques particulières, plutôt qu'une limite stricte. Les autres régions continuent dans ce cas à relever des réponses fermes oui ou non.
Certains logiciens ont proposé une autre solution: au lieu d'accorder seulement deux valeurs à l'appartenance (oui ou non, 1 ou 0), ils conviennent de lui accorder n'importe quelle valeur située entre 0 et 1. Cette propriété définit un ensemble flou (ou un sous-ensemble flou à l'intérieur d'un ensemble de référence). On a construit sur cette base une logique floue entièrement formalisée.