Exercice 1 : Conditionnement, indépendance et formule de Bayes
🌐 Énoncé du problème / Cadre d’étude
Section titled “🌐 Énoncé du problème / Cadre d’étude”Dans le cadre de l’évaluation de la fiabilité d’un système de sécurité industrielle complexe, on met en place un dispositif de double dépistage d’une anomalie rare. Soit l’univers associé à l’état d’un composant prélevé au hasard dans une chaîne de production.
On considère les événements suivants :
- : « Le composant présente effectivement l’anomalie. »
- : « Le premier test de dépistage est positif. »
- : « Le second test de dépistage est positif. »
On suppose que la probabilité que le composant présente l’anomalie est , où . Les performances des tests sont modélisées par les hypothèses probabilistes suivantes :
- Sensibilité du test 1 : et Spécificité du test 1 : , avec .
- Conditionnement du second test : Le second test est effectué avec un équipement indépendant du premier, mais dépendant de la nature réelle du composant. Ainsi, les événements et sont conditionnellement indépendants sachant , et conditionnellement indépendants sachant . Formellement : De plus, on pose et , avec .
L’objectif de ce problème est d’étudier l’évolution de la probabilité d’avoir l’anomalie sachant les résultats des tests, d’analyser l’impact de l’indépendance conditionnelle, et d’évaluer la pertinence de ce modèle dans un contexte de décision critique.
❓ Questions progressives (incluant une analyse critique du modèle)
Section titled “❓ Questions progressives (incluant une analyse critique du modèle)”-
Calculs préliminaires et probabilités totales Exprimer la probabilité de l’événement , notée , en fonction de , et . En déduire la probabilité conditionnelle (Formule de Bayes).
-
Modélisation de la double épreuve En utilisant l’hypothèse d’indépendance conditionnelle sachant et sachant , exprimer la probabilité conjointe et . En déduire l’expression de en fonction de , , , et .
-
Mise à jour bayésienne séquentielle ou conjointe On observe que les deux tests sont positifs ( est réalisé). Établir l’expression de la probabilité a posteriori en fonction des paramètres du modèle.
-
Analyse asymptotique et critique du modèle On pose (fiabilité des tests) et (spécificité).
- Calculer et dans le cas où l’anomalie est extrêmement rare : .
- Discuter de l’impact des faux positifs lorsque . Le modèle est-il robuste face à la rareté de l’événement ?
💡 Pistes & Indications méthodologiques
Section titled “💡 Pistes & Indications méthodologiques”- Question 1 : Penser à utiliser le système complet d’événements pour exprimer via la formule des probabilités totales.
- Question 2 : Pour relier les probabilités conditionnelles composées, utiliser la définition de la probabilité conditionnelle : .
- Question 3 : Appliquer de nouveau le théorème de Bayes généralisé avec l’événement intersection .
- Question 4 : Faire un calcul numérique explicite et analyser l’ordre de grandeur du numérateur par rapport au dénominateur (notamment la contribution des faux positifs ).
📋 Corrigé détaillé pas à pas
Section titled “📋 Corrigé détaillé pas à pas”1. Calculs préliminaires et probabilités totales
Section titled “1. Calculs préliminaires et probabilités totales”Les événements et forment un système complet d’événements. D’après la formule des probabilités totales : On nous donne et , donc . De plus, la spécificité du test est , ce qui implique que . Ainsi :
Appliquons maintenant la formule de Bayes pour trouver la probabilité d’avoir l’anomalie sachant que le premier test est positif :
2. Modélisation de la double épreuve
Section titled “2. Modélisation de la double épreuve”Par définition de l’indépendance conditionnelle :
- Sachant :
- Sachant : Pour sachant , on a .
Utilisons à nouveau la formule des probabilités totales pour l’événement :
3. Mise à jour bayésienne pour deux tests positifs
Section titled “3. Mise à jour bayésienne pour deux tests positifs”La probabilité recherchée est . Par la formule de Bayes : En injectant les expressions obtenues à la question précédente :
4. Analyse asymptotique et critique du modèle
Section titled “4. Analyse asymptotique et critique du modèle”Fuche d’application numérique avec : , , et (donc ).
-
Pour un test () : Malgré un test positif, la probabilité que le composant ait l’anomalie reste inférieure à .
-
Pour deux tests () : Supposons et . Le numérateur vaut : Le terme issu des faux positifs au dénominateur vaut : Ainsi : La probabilité passe à environ .
-
Analyse critique : Même avec deux tests positifs successifs, la probabilité a posteriori reste faible (). Cela s’explique par le phénomène de base rate fallacy (ou biais du taux de base) : l’événement est tellement rare () que le nombre de faux positifs générés par la population saine reste supérieur au nombre de vrais positifs issus de la population défectueuse. Pour fiabiliser le système face à des anomalies rares, il faudrait soit augmenter drastiquement la spécificité (), soit croiser avec des tests totalement non corrélés sur d’autres principes physiques.