Théorie Dempster-Shafer

Théorie Dempster-Shafer

La Théorie Dempster-Shafer est une théorie mathématique basée sur la notion de preuves[1] utilisant les fonctions de croyance et le raisonnement plausible. Le but de cette théorie est de permettre de combiner des preuves distinctes pour calculer la probabilité d'un évènement. Cette théorie a été développée par Arthur P. Dempster et Glenn Shafer.

Sommaire

Formalisme mathématique

Soit X\,\! un univers, c'est-à-dire un ensemble contenant tous les éléments auquels on s'intéresse. L'ensemble de ses parties, \mathcal{P}(X)\,\!, est l'ensemble de tous les sous-ensembles de X\,\!, y compris l'ensemble vide \varnothing. Par exemple, si:

X = \left \{ a, b \right \} \,\!

alors

\mathcal{P}(X) = \left \{ \varnothing, \left \{ a \right \}, \left \{ b \right \}, X \right \}. \,\!

Les éléments de l'ensemble des parties de X\,\! peuvent être interprétés comme des propositions, un élément représentant les états qu'il contient. Par exemple, on peut interpréter l'élément \left \{ a \right \} comme "la proposition a est vérifiée" ou "on est dans l'état a", ou encore \left \{ a,b \right \} comme "on est soit dans l'état a, soit dans l'état b".

Notion de masse

On définit la masse de la manière suivante :

  • la masse de l'ensemble vide est 0 :
m(\varnothing) = 0. \,\!
  • la somme des masses des autres sous-ensembles vaut 1 :
\sum_{A \in \mathcal{P}(X)} m(A) = 1. \,\!


La masse m(A) \,\! d'un élément donné A\,\! de l'ensemble des parties exprime la proportion de toutes les preuves disponibles affirmant que l'état actuel est A\,\! et pas un autre état ou un sous-état de A\,\!. La valeur de m(A)\,\! concerne donc seulement l'état A\,\! et n'apporte aucun crédit aux sous-ensembles de A\,\!, chacun d'eux ayant, par définition, sa propre masse.

À partir de la valeur de la masse d'un état, on peut définir un intervalle de probabilité. Cet intervalle contient la valeur précise de la probabilité de l'état, et est borné par deux mesures appelées croyance et plausibilité:

\operatorname{bel}(A) \le P(A) \le \operatorname{pl}(A).\,\!


La croyance \operatorname{bel}(A)\,\! d'un ensemble A\,\! est définie comme la somme des masses de tous ses sous-ensembles (pas nécessairement propres) :

\operatorname{bel}(A) = \sum_{B \mid B \subseteq A} m(B).

La plausibilité \operatorname{pl}(A)\,\! est définie comme la somme des masses de tous les ensembles B\,\! qui intersectent A\,\!:

\operatorname{pl}(A) = \sum_{B \mid B \cap A \ne \varnothing} m(B)


Ces deux mesures sont liées : \operatorname{pl}(A) = 1 - \operatorname{bel}(\overline{A}).\,\!

De ce fait, la connaissance d'une seule de ces valeurs (masse, croyance ou plausabilité) suffit à déduire les deux autres.

Combinaison de preuves et de masses

Le problème qui se pose maintenant est de savoir comment combiner deux ensembles indépendants et leurs masses. La règle de combinaison originale, connue en tant que Règle de combinaison de Dempster, est une généralisation du théorème de Bayes. Ce théorème met clairement en valeur l'accord entre des sources multiples et ignore les conflits grâce à un facteur de normalisation. L'utilisation de ce théorème pose ainsi problème lorsque des conflits significatifs ont lieu entre différentes sources d'information.

Ici, la combinaison ou masse jointe est calculée à partir des deux masses m_1\,\! et m_2\,\! de la manière suivante :

m_{1,2}(\varnothing) = 0 \,\!
m_{1,2}(A) = \frac {1}{1 - K} \sum_{B \cap C = A \ne \varnothing} m_1(B) m_2(C) \,\!

K = \sum_{B \cap C = \varnothing} m_1(B) m_2(C). \,\!

K\,\! est une mesure du niveau de conflit entre les deux masses. Le facteur de normalisation 1-K\,\! permet d'ignorer ces conflits et d'attribuer toute masse impliquée dans le conflit à l'ensemble nul. De ce fait, cette opération donne des résultats contre-intuitifs face à des conflits significatifs, dans certains contextes

Notes et références

  1. Shafer, Glenn; A Mathematical Theory of Evidence, Princeton University Press, 1976

Voir aussi

Articles connexes

Liens externes


  • Portail des probabilités et des statistiques Portail des probabilités et des statistiques

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Théorie Dempster-Shafer de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • Theorie Dempster-Shafer — Théorie Dempster Shafer La Théorie Dempster Shafer est une théorie mathématique basée sur la notion de preuves[1] utilisant les fonctions de croyance et le raisonnement plausible. Le but de cette théorie est de permettre de combiner des preuves… …   Wikipédia en Français

  • Théorie dempster-shafer — La Théorie Dempster Shafer est une théorie mathématique basée sur la notion de preuves[1] utilisant les fonctions de croyance et le raisonnement plausible. Le but de cette théorie est de permettre de combiner des preuves distinctes pour calculer… …   Wikipédia en Français

  • Dempster-Shafer-Theorie — Die Evidenztheorie von Dempster und Shafer ist eine mathematische Theorie aus dem Gebiet der Wahrscheinlichkeitstheorie. Sie wird benutzt, um Informationen unterschiedlicher Quellen zu einer Gesamtaussage zusammenzusetzen, wobei die… …   Deutsch Wikipedia

  • Theorie Dezert-Smarandache — Théorie Dezert Smarandache La théorie du raisonnement plausible et paradoxale de Dezert Smarandache (connue sous l acronyme anglo saxon DSmT) étend la Théorie Dempster Shafer (DST) en permettant la combinaison formelle de n importe quel type… …   Wikipédia en Français

  • Théorie dezert-smarandache — La théorie du raisonnement plausible et paradoxale de Dezert Smarandache (connue sous l acronyme anglo saxon DSmT) étend la Théorie Dempster Shafer (DST) en permettant la combinaison formelle de n importe quel type (certain, incertain, paradoxal) …   Wikipédia en Français

  • Théorie Dezert-Smarandache — La théorie du raisonnement plausible et paradoxale de Dezert Smarandache (connue sous l acronyme anglo saxon DSmT) étend la Théorie Dempster Shafer (DST) en permettant la combinaison formelle de n importe quel type (certain, incertain, paradoxal) …   Wikipédia en Français

  • Glenn Shafer — (* 21. November 1946 in Caney, Kansas) ist ein US amerikanischer Mathematiker, der die Dempster Shafer Theorie durch Weiterentwicklung von Arthur Pentland Dempsters Ansätzen zur Generalisierung der Bayesschen Statistik mitbegründet hat. Shafer… …   Deutsch Wikipedia

  • Dezert-Smarandache-Theorie — Florentin Smarandache (* 10. Dezember 1954 in Bălceşti, Kreis Vâlcea) ist ein US amerikanisch rumänischer Künstler und Autor. Die Wissenschaftlichkeit seiner Schriften zur Mathematik und Philosophie ist umstritten. Inhaltsverzeichnis 1 Leben 2… …   Deutsch Wikipedia

  • Modèle des croyances transférables — Le MCT ou Modèle des croyances transférables est un modèle non probabiliste de « raisonnement incertain » reposant sur la théorie des fonctions de croyance. Il a été proposé et développé par Philippe Smets au début des années 90 Quand… …   Wikipédia en Français

  • Modele des Croyances Transferables (MCT) — Modèle des croyances transférables La mesure d une grandeur physique par un capteur est généralement entachée d incertitude et d imprécision liées aux conditions de fonctionnement du capteur ainsi qu à ses limitations. Afin de prendre en compte… …   Wikipédia en Français

Share the article and excerpts

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