Arithmétique floue

Arithmétique floue


L'arithmétique floue étudie la propagation de l'incertitude dans les expressions arithmétiques. Elle repose sur les principes de la logique floue et plus particulièrement sur les nombres flous, un cas particulier des ensembles flous. L'arithmétique floue est une généralisation de l'arithmétique des intervalles qui utilise les nombres flous pour capturer l'incertitude, là où l'arithmétique des intervalles utilise de simple intervalles de valeurs. L'arithmétique floue s'applique à de nombreux domaines de l'ingénierie, particulièrement lorsque les paramètres des modèles mathématiques sous-jacents sont difficiles à quantifier précisément.

Sommaire

Introduction

La notion d'incertitude reflète, au moins en ingénierie, une connaissance relative ou partielle d'un système. La plupart des disciplines scientifiques essaient de construire des modèles mathématiques décrivant une certaine réalité physique. De manière générale l'incertitude caractérise alors le degré de correspondance entre un modèle et la réalité qu'il décrit et peut être interprétée comme une erreur potentielle, ou comme un risque, que l'on va chercher à minimiser.

L'incertitude peut concerner le modèle lui-même (e.g., les équations qui le composent), mais concerne plus généralement les grandeurs manipulées dans le modèle (les paramètres du modèle). Dans ce dernier cas, deux interrogations apparaissent légitimes: d'un côté, on veut évaluer l'incertitude du résultat étant donné l'incertitude des paramètres; de l'autre on veut connaître l'incertitude maximale acceptable pour les paramètres qui va garantir une incertitude donnée sur le résultat.

Différentes méthodes permettent de modéliser et d'évaluer l'incertitude telles que les intervalles, les probabilités, ou les ensembles aléatoires, ou les ensembles flous utilisés par l'arithmétique dont il est question ici.

Cet article présente les techniques standards utilisées pour mettre en œuvre l'arithmétique floue ainsi que leurs limites, et illustre son utilisation sur quelques expressions arithmétiques simples.

Ensembles flous et nombres flous

La théorie des ensembles flous considère des ensembles dont l'appartenance est graduelle et non pas booléenne comme c'est le cas avec la théorie des ensembles dite "classique". En effet, la théorie classique implique qu'un élément appartienne ou qu'il n'appartienne pas à un ensemble donné, sans autre possibilité. Par opposition, la théorie des ensembles flous permet d'exprimer le degré d'appartenance par une valeur réelle comprise entre 0 et 1 (1 indiquant que l'élément appartient définitivement à l'ensemble).

Ces ensembles flous sont particulièrement appropriés pour capturer le sens de constructions linguistiques telles que "la vitesse est élevée". Là où un ensemble classique implique de définir un seuil strict en deçà duquel la vitesse ne sera plus considérée comme "élevée" (par exemple 50 km/h), un ensemble flou définit une fonction qui associe un degré d'appartenance à la vitesse. Sachant que la vitesse est 75 km/h, il devient possible d'établir que la vitesse est approximativement 10 km/h à 50 %.

Ensembles flous

Cette section rappelle brièvement la notion de sous-ensemble flou (fuzzy set en anglais) et leurs propriétés pertinentes dans le cadre de l'arithmétique floue.

Article détaillé : Ensemble flou.

Considérons tout d'abord un ensemble infini indénombrable Ω, représentant l'ensemble dans lequel nous allons définir des sous-ensembles flous. Dans le cas de la vitesse évoqué ci-dessus, l'ensemble Ω représentant le domaine des vitesses en km/h, se réduit à l'ensemble \mathbb{R} des valeurs réelles.

Un sous-ensemble flou \tilde{E}[1] sur Ω (représentant par exemple les vitesses dites "élevées") est défini par sa fonction d'appartenance (ou fonction caractéristique) \mu : \Omega \to [0,1]. Pour une vitesse donnée, v, \mu_{\tilde{E}}(v) représente alors le degré d'appartenance de v à \tilde{E}.

Figure 1. Fonctions d'appartenance d'un sous-ensemble flou et de d'un ensemble classique équivalent.

La figure 1 ci-contre illustre la notion de fonction d'appartenance. La courbe verte montre l'évolution du degré d'appartenance: plus la vitesse augmente, plus elle est considérée comme élevée. Cette fonction d'appartenance caractérise donc le sous ensemble flou des vitesses dite "élevées". Par opposition, la courbe rouge illustre une fonction d'appartenance qui caractérise un ensemble "classique" équivalent, impliquant un seuil strict (ici 50 km/h).

Il est important de noter que la fonction d'appartenance μ, associée à un ensemble flou, n'est pas une densité de probabilité. En dehors d'aspects purement mathématiques[2], une valeur floue reflète le degré avec lequel un évènement se produit (degré de vérité), alors qu'une probabilité reflète le pourcentage de chance que l’évènement se produise (éventualité).

Figure 2. Éléments caractéristiques d'un ensemble flou: noyau, support, hauteur et coupe-α

Un ensemble flou \tilde{E} considéré sur l'univers Ω se caractérise par les éléments suivants illustrés sur la figure 2:

  • son noyau (core en anglais), qui représente l'ensemble des éléments de Ω pour lesquels le degré d'appartenance est égal à 1. Plus formellement, on définit le noyau n(\tilde{E}) par: n(\tilde{E}) = \{ x \in \Omega \, | \, \mu_{\tilde{E}}(x) = 1 \}.
  • son support (support en anglais), qui représente le sous-ensemble des éléments de Ω pour lesquels le degré d'appartenance à \tilde{E} est non nul. Plus formellement, on définit le support sp(\tilde{E}) par: sp(\tilde{E}) = \{ x \in \Omega \, | \, \mu_{\tilde{E}}(x) > 0 \}.
  • sa hauteur (height en anglais), qui représente le degré maximal d'appartenance à \tilde{E}. Formellement la hauteur h(\tilde{E}) est définie par: h(\tilde{E}) = \max_{x \in \Omega} \left( \mu_{\tilde{E}}(x) \right).

On définit également la notion de coupe α (α-cut en anglais) comme l'ensemble des éléments de Ω pour lesquels le degré d'appartenance à \tilde{E} est supérieur ou égal à α. Plus formellement, on écrira: coupe_{\alpha}(\tilde{E}) = \left\{ x \in \Omega \, | \, \mu_{\tilde{E}}(x) \geq \alpha \right\} . La figure 2 ci-contre illustre la notion de coupe-α pour un ensemble flou trapézoïdal.

Nombres flous

L'idée de nombre flou (fuzzy number en anglais) est d'utiliser un ensemble flou pour représenter une construction linguistique telle que: «x est autour de 15». Les nombres flous permettent de capturer l'incertitude autour d'une valeur donnée: intuitivement, plus on s'éloigne de la valeur 15, plus l'appartenance à l'ensemble flou correspondant diminue.

Figure 3. Trois ensembles flous qui ne peuvent pas être considérés comme des nombres flous: N1 n'est pas convexe, N2 n'est pas normalisé, N3 est un intervalle

Un nombre flou \tilde{N} est un ensemble flou respectant les quatre propriétés suivantes:

  • Il est normal, c'est-à-dire que sa hauteur est égale à 1. Plus formellement on écrira: h(\tilde{N}) = 1. Sur la figure 3, seuls les nombres \tilde{N}_1 et \tilde{N}_3 sont normalisés.
  • Son noyau est unique, c'est-à-dire qu'il n'existe qu'un seul élément de l'univers pour lequel le degré d'appartenance est égal à 1. Formellement, on écrira |n(\tilde{N})| = 1. Cet élément unique est le mode de \tilde{N} et est parfois dénoté par le symbole \bar{n}. Sur la figure 3 par exemple, le noyau de l'ensemble flou \tilde{N}_2 est unique alors que celui de \tilde{N}_3 ne l'est pas.
  • Il est convexe, c'est-à-dire qu'il n'existe pas de coupe-alpha disjointe. Formellement la convexité d'un ensemble flou \tilde{N} vérifie que \forall \alpha in [0,1], \forall (u,v) \in coupe_\alpha(\tilde{N}), \forall \lambda \in [0, 1],  \lambda u + (1-\lambda) v \in coupe_{\alpha}(\tilde{N}). Sur la figure 3 par exemple, l'ensemble flou \tilde{N}_1 n'est pas convexe, car il existe des coupes alpha qui sont discontinues, alors que \tilde{N}_2 et \tilde{N}_3 le sont.
  • Sa fonction d'appartenance, \mu_{\tilde{N}}, est continue.

Arithmétique floue théorique

Introduction par l'exemple

Intuitivement, ajouter, soustraire, multiplier ou diviser deux nombres flous nécessite de calculer la fonction d'appartenance associée au résultat (un autre nombre flou). A titre d'exemple, on s'intéresse ici à l'expression arithmétique $\tilde{C} = \tilde{A} + \tilde{B}$ où $\tilde{A}$ où $\tilde{B}$ sont deux nombres flous, donc les fonctions d'appartenances sont illustrés sur la figure 4 ci-contre. Leurs fonctions d'appartenance sont respectivement définies par:

  • \mu_{\tilde{A}} = \{ 4 \mapsto 0, ~ 5 \mapsto \frac{1}{3}, ~ 6 \mapsto \frac{2}{3}, ~ 7 \mapsto 1, ~ 8 \mapsto 0\}
  • \mu_{\tilde{B}} = \{ 10 \mapsto 0, ~ 11 \mapsto \frac{1}{3}, ~ 12 \mapsto \frac{2}{3}, ~ 13 \mapsto 1, ~ 14 \mapsto \frac{1}{2}, ~ 15 \mapsto 0\}
Figure 4. Addition de deux nombres flous définis sur \mathbb{N}

Pour calculer le degré d'appartenance de 18 à l'ensemble flou \tilde{C}, il est nécessaire de construire tous les couples de valeurs (a,b) tels que a \in \tilde{A}, b \in \tilde{B} et où a + b = 18. En effet, cinq couples voient leur somme égale à 18 et tous peuvent donc être à l'origine de ce résultat. De manière logique, on peut donc écrire:

\begin{array}{r|c|l}
	\mu_{\tilde{A} + \tilde{B}}(18) & = & (a = 4 \land b = 14) \lor (a = 5\land b=13) \\
	 & & \lor (a=6 \land b=12) \lor (a=7 \land b=11) \\
	 & &  \lor (a=8 \land b=10)
\end{array}

En appliquant la sémantique des opérateurs standards de la logique floue[3], on obtient:

\begin{array}{r|c|l}
	\mu_{\tilde{A} + \tilde{B}}(18) & = & \max\big( \min( \mu_{\tilde{A}}(4), \mu_{\tilde{B}}(14)) , \min( \mu_{\tilde{A}}(5), \mu_{\tilde{B}}(13)) , \\
	 & & \min( \mu_{\tilde{A}}(6), \mu_{\tilde{B}}(12)) , \min( \mu_{\tilde{A}}(7), \mu_{\tilde{B}}(11)), \\
	 & & \min( \mu_{\tilde{A}}(8), \mu_{\tilde{B}}(10)) \big)\\
	\mu_{\tilde{A} + \tilde{B}}(18) & = & \max\big( \min(0, \frac12) , \min(\frac13, 1) , \\
	 & & \min(\frac23, \frac23) , \min(1, \frac13) , \\
	 & & \min(0, 0)\big)\\
 	\mu_{\tilde{A} + \tilde{B}}(18) & = & \max \left( 0, \frac13, \frac23, \frac13, 0 \right) = \frac23\\
\end{array}

Figure 5. Convolution min-max pas-à-pas: \mu_{\tilde{A} + \tilde{B}}(20) = 1

Le tableau de la figure 5 ci-contre résume le calcul pas-à-pas de la fonction d'appartenance de \tilde{C}.

Principe général

Dans le cas général, la fonction d'appartenance qui caractérise le résultat d'une opération $\star$ définie par $\star: \Omega^n \to \Omega$ et appliquée à n nombres flous \tilde{N_1}, \ldots, \tilde{N}_n est définie par le produit de convolution max-min tel que: 
\begin{array}{r|c|l}
\mu_{\star (\tilde{N}_1, \ldots , \tilde{N}_n)}(c) &=& \bigvee_{\star(n_1, \ldots, n_n) = c} \left( \bigwedge_{i=1}^{n} \left( n_i \in \tilde{N}_i\right) \right) \\
	 &=& \max_{\star(n_1, \ldots, n_n) = c} \left( \min_{i=1}^{n} \left( \mu_{\tilde{N}_i}(n_i) \right) \right) 
\end{array}

Il s'agit en fait d'appliquer le principe d'extension de la logique floue, qui permet de calculer le degré d'appartenance d'une relation portant sur des ensembles flous. Bien que cette définition ne permette pas déduire analytiquement l'équation exacte des fonctions d'appartenance résultant d'opérations arithmétiques, elle pose cependant les bases nécessaires à la mise œuvre de l'arithmétique floue (voir la section sur les arithmétiques floues concrètes et notamment le paragraphe concernant l'utilisation de nombres flous décomposés qui est considérée comme la mise en œuvre standard).

Le tableau ci-dessous résume les principales propriétés des opérations de base de l'arithmétique floue. L'arithmétique floue est en fait une généralisation de l'arithmétique des intervalles (voir arithmétique de nombres flous décomposés).

Table 1. Propriétés des opérations de l'arithmétique floue
Addition Soustraction Multiplication Division
Commutativité Oui Oui
Associativité Oui Oui
Distributivité Oui (sur + et -) Oui (sur + et -)
Element neutre Singleton 0 Singleton 0 Singleton 1 Singleton 1
Element absorbant Singleton 0

Dé-convolutions et opérations inverses

Contrairement à l'arithmétique sur les réels, la soustraction définie par l'arithmétique floue n'est pas l'inverse de l'addition, de même que la division n'est pas l'opération inverse de la multiplication.

Fichier:Operation inverse.pdf
Trois opérations sur les nombres flous: l'addition, la soustraction, et l'opération inverse de l'addition.

La figure 6 ci-contre illustre la différence entre l'opération inverse de l'addition et la soustraction: \tilde{C} est la somme des nombres \tilde{A} et \tilde{B}. On peut voir que l'opération \tilde{C}-\tilde{B} génère un quatrième nombre flou (\tilde{D}) différent de \tilde{A}. Si \tilde{A} et \tilde{D} partage le même mode, l'incertitude autour de \tilde{D} est beaucoup plus large. Dans le cadre de l'arithmétique floue, la soustraction et l'opération inverse de l'addition ne répondent pas à la même question:

  • la soustraction exprime l'incertitude autour du résultat de l'opération \tilde{C}-\tilde{B} (\tilde{D} sur la figure 6).
  • l'opération inverse de l'addition exprime l'incertitude maximale qui, ajoutée à celle de \tilde{B}, produit le nombre \tilde{C} (</math>Le nombre \tilde{A}</math> sur la figure 6).

Arithmétiques floues concrètes

A compléter

Arithmétique des nombres flous G/D

A compléter

Arithmétique des nombres flous discrets

Figure 7. Discrétisation d'un nombre flou: création de 11 échantillons

Dans le cas général, la convolution max-min n'a pas de solution analytique, et il est alors nécessaire de se ramener à un espace discret pour pouvoir l'appliquer comme nous l'avons fait sur \mathbb{N}. L'idée est de réduire la fonction d'appartenance à un nombre limité d'échantillons: plus on conserve d'échantillons, plus l'approximation correspondante est fidèle à la fonction d'appartenance initiale. La figure 7 ci-contre, illustre l'échantillonnage d'un nombre flou.

La principale limite de l'échantillonnage est qu'il ne permet pas de capturer systématiquement le noyau des ensembles flous, et aboutit parfois à des approximations non normalisées. Sur la figure 7 par exemple, le noyau n'est pas échantillonné, et l'approximation correspondante ne satisfait donc pas les propriétés de base des ensembles flous. De plus, du point de vue technique, les techniques de calcul associées sont coûteuses en ressources pour des univers de grande taille, échantillonnés avec une fréquence élevée.

Arithmétique des nombres flous décomposés

L'idée des nombres flous décomposés est de représenter un nombre flou par l'ensemble de ses coupes-α. Pour mémoire, chaque coupe-α représente l'intervalle des valeurs dont le degré d'appartenance est supérieur ou égal à α. L'arithmétique floue se réduit alors à l'arithmétique des intervalles appliquée à différents degrés d'appartenance.

Figure 8. Décomposition d'un nombre flou en une séquence de 5 coupes-α

Tout comme un nombre flou discrétisé, un nombre flou décomposé est une représentation discrète de sa fonction d'appartenance. La différence repose sur le choix des échantillons conservés: un nombre flou discrétisé est obtenu en échantillonnant l'univers Ω alors qu'un nombre flou décomposé est obtenu en échantillonnant le domaine des degrés d'appartenance [0,1]. Étant donné un facteur de décomposition m, on divise donc l'intervalle [0,1] en m parties de longueur \Delta_\mu = \frac{1}{m}, et on représente \tilde{N} par l'ensemble de ses coupes-α coupe_k(\tilde{N})k=i \times \Delta_\mu (pour i \in \{1, \ldots, m\}. La figure 8 ci-contre illustre une décomposition en un ensemble de 5 coupes-α. Par opposition à la discrétisation illustrée précédemment sur la figure 7, la décomposition offre l'avantage de capturer systématiquement le noyau des ensembles flous, assurant un représentation cohérente, même pour les singletons.

En représentant les coupes-α correspondantes sous la forme d'intervalles, l'arithmétique floue se réduit à l'arithmétique des intervalles. Par conséquent, pour un dégré d'appartenance donné α, la coupe-α caractérisant le résultat d'une opération arithmétique sur \tilde{A} et \tilde{B} se calcule en appliquant cette même opération sur les intervalles représentant les coupes-α de A et de B. Plus formellement, pour tout \tilde{C} = \tilde{A} \star \tilde{B} et pour tout k \in {1, \ldots, m} on a: 
\begin{array}{r c l}
coupe_{k\times \Delta_\mu}(\tilde{C}) & = & coupe_{k\times \Delta_\mu}(\tilde{A}) \star coupe_{k\times \Delta_\mu}(\tilde{B})\\
& = & [a, a] \star [b, b] 
\end{array}

Mise en œuvre: calcul de trajectoire

Propagation de l'incertitude

Problème inverse

Limites de l'arithmétique floue

A compléter

Brève histoire de l'arithmétique floue

A compléter: Logique floue introduite par Zadeh, les nombres flous LR de Dubois et Prade, ainsi que les techniques avancées plus récentes telles que les nombres floues décomposés de Hanss.

Voir aussi

Articles connexes

Notes

  1. Bien qu'il n'y ai pas de consensus officiel sur la notation à utiliser pour dénoter des sous-ensembles flous, de nombreux auteurs utilisent une "vague" représentant l'idée du "flou" et d'approximation. Nous reprenons cette notation qui permet de distinguer visuellement un ensemble flou d'un ensemble au sens classique du terme.
  2. Contrairement à une fonction représentant une densité de probabilité, l'intégrale d'une fonction d'appartenance ne doit pas nécessairement être égale à 1. La logique floue est ici moins contraignante que la théorie des probabilités et permet de capturer des informations parfois redondantes ou conflictuelles.
  3. Pour mémoire, la logique floue définit la conjonction,  P \land Q comme min(μQP) et la disjonction P \lor Q par max(μPQ)

Bibliographie

  • (en) Michael Hanss, Applied Fuzzy Arithmetic : An Introduction with Engineering Applications, Berlin, Springer-Verlag, 2005, 256 p. (ISBN 3-540-24201-5) Ouvrage utilisé pour la rédaction de l'article 
  • (en) Arnold Kaufman et Madan M. Gupta, An Introduction to Fuzzy Arithmetic : Theory and Applications, New York, Van Nostrand Reinhold Company Inc., 1991, 394 p. (ISBN 0-442-23007-9) Ouvrage utilisé pour la rédaction de l'article 
  • (en) George J. Klir et Tina A. Folger, Fuzzy Sets, Uncertainty and Information, Singapour, Prentice Hall Inc. (Simon & Schuster Pte Ltd), 1992, 355 p. (ISBN 981-3026-97-9) Ouvrage utilisé pour la rédaction de l'article 

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Arithmétique floue de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Algèbre de Lindenbaum — L algèbre de Lindenbaum d une théorie est l ensemble des classes d équivalence de ses théorèmes. Munie des conjonction, disjonction et négation (qui sont compatibles avec l équivalence logique), c est une algèbre de Boole. Elle a été construite… …   Wikipédia en Français

  • Variable régionalisée — La VR comme phénomène physique : topographie de la ville de Binche …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Histoire Des Mathématiques — Article de la série Histoire des sciences Chronologie Chronologie des sciences Chronologie de l astronomie …   Wikipédia en Français

  • Histoire des mathematiques — Histoire des mathématiques Article de la série Histoire des sciences Chronologie Chronologie des sciences Chronologie de l astronomie …   Wikipédia en Français

  • Histoire des mathématiques — L’histoire des mathématiques s étend sur plusieurs millénaires et dans de nombreuses régions du globe allant de la Chine à l’Amérique centrale. Jusqu au XVIIe siècle, le développement des connaissances mathématiques s’effectue… …   Wikipédia en Français

  • 1+1=3 — Pseudo démonstration d égalité entre nombres Le terme Pseudo démonstration d égalité renvoie à l apparente exactitude de démonstrations d égalités qui à l évidence sont fausses. Étant donné que toute proposition fausse est équivalente à une autre …   Wikipédia en Français

  • 1 = 2 — Pseudo démonstration d égalité entre nombres Le terme Pseudo démonstration d égalité renvoie à l apparente exactitude de démonstrations d égalités qui à l évidence sont fausses. Étant donné que toute proposition fausse est équivalente à une autre …   Wikipédia en Français

  • Preuve que 1 est égal à -1 — Pseudo démonstration d égalité entre nombres Le terme Pseudo démonstration d égalité renvoie à l apparente exactitude de démonstrations d égalités qui à l évidence sont fausses. Étant donné que toute proposition fausse est équivalente à une autre …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”