{"id":353,"date":"2019-03-21T19:10:01","date_gmt":"2019-03-21T18:10:01","guid":{"rendered":"https:\/\/bailleux.net\/?p=353"},"modified":"2019-08-16T16:06:01","modified_gmt":"2019-08-16T14:06:01","slug":"anne-barnabe-et-bayes-participent-a-un-jeu-televise","status":"publish","type":"post","link":"https:\/\/bailleux.net\/pagepro\/anne-barnabe-et-bayes-participent-a-un-jeu-televise\/","title":{"rendered":"Anne, Barnab\u00e9 et Bayes participent \u00e0 un jeu t\u00e9l\u00e9vis\u00e9"},"content":{"rendered":"\n<p>Ai-je compris tous les messages de la vid\u00e9o <a href=\"https:\/\/youtu.be\/VEWgOMPkXg0\">Marilyn versus Monty Hall | Bayes 4<\/a>  diffus\u00e9e sur l&rsquo;excellente cha\u00eene Science4All, anim\u00e9e par le math\u00e9maticien L\u00ea Nguy\u00ean Hoang ? Cette vid\u00e9o aborde un probl\u00e8me \u00e9ponyme de probabilit\u00e9s conditionnelles dans lequel un participant d&rsquo;un jeu t\u00e9l\u00e9vis\u00e9 doit choisir un rideau parmi trois, sachant que derri\u00e8re un des rideaux se cache une voiture et derri\u00e8re chacun des deux autres une ch\u00e8vre. Apr\u00e8s son premier choix, le candidat re\u00e7oit une nouvelle information qui est la localisation d&rsquo;un rideau, parmi les deux qu&rsquo;il n&rsquo;a pas choisi, derri\u00e8re lequel se trouve une ch\u00e8vre. La question pos\u00e9e est : sur la base de cette nouvelle information, le candidat a-il int\u00e9r\u00eat \u00e0 modifier son choix initial ?<\/p>\n\n\n\n<!--more-->\n\n\n\n<p>La premi\u00e8re partie de la vid\u00e9o est tr\u00e8s int\u00e9ressante et je vous invite \u00e0 la regarder car elle montre que m\u00eame des math\u00e9maticiens exp\u00e9riment\u00e9s peuvent faire des erreurs de raisonnement. Dans la deuxi\u00e8me partie, qui commence \u00e0 <a href=\"https:\/\/youtu.be\/VEWgOMPkXg0?t=645\">10:45<\/a>, L\u00ea explique comment utiliser la formule de Bayes pour r\u00e9soudre le probl\u00e8me des trois rideaux. Je vais reprendre son explication avec un regard critique en tentant d&rsquo;apporter quelques \u00e9l\u00e9ments qui, je pense, m&rsquo;auraient permis  comprendre plus vite la d\u00e9marche propos\u00e9e s&rsquo;ils avaient \u00e9t\u00e9 donn\u00e9s dans la vid\u00e9o.<\/p>\n\n\n\n<p>Tout d&rsquo;abord, je vais rappeler la version la plus simple de la formule de Bayes, et je donnerai ensuite la version utilis\u00e9e par L\u00ea. La premi\u00e8re version fait intervenir deux variables H et D qui repr\u00e9sentent des <em>ensembles <\/em>d&rsquo;observations possibles auxquelles sont associ\u00e9es des probabilit\u00e9s. L&rsquo;ensemble D repr\u00e9sente des observations pouvant \u00eatre faites lors d&rsquo;une exp\u00e9rience, et l&rsquo;ensemble H les observations qui sont coh\u00e9rentes avec une certaine hypoth\u00e8se. On se permettra d&rsquo;utiliser la m\u00eame notation H pour d\u00e9signer l&rsquo;hypoth\u00e8se et les \u00e9v\u00e8nements observables en coh\u00e9rence avec cette hypoth\u00e8se. Voici une figure illustrant cette premi\u00e8re variante de la formule de Bayes.<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"512\" src=\"https:\/\/bailleux.net\/wp-content\/uploads\/2019\/03\/2019-03-20_20h38_18-1024x512.png\" alt=\"\" class=\"wp-image-355\" srcset=\"https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_20h38_18-1024x512.png 1024w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_20h38_18-300x150.png 300w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_20h38_18-768x384.png 768w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_20h38_18-624x312.png 624w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>La figure ne couvre pas tous les cas possibles. Il se pourrait par exemple que D soit inclus dans H, ou que H soit inclus dans D, mais la formule, elle, s&rsquo;applique dans tous les cas. Elle exprime la probabilit\u00e9 qu&rsquo;une observation soit coh\u00e9rente avec l&rsquo;hypoth\u00e8se H sachant que cette observation est dans D, et fait intervenir les probabilit\u00e9s suivantes : <\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>La probabilit\u00e9 P[D|H] qu&rsquo;une donn\u00e9e observ\u00e9e soit dans D sachant que cette donn\u00e9e est coh\u00e9rente avec H.<\/li><li>La probabilit\u00e9 P[H] qu&rsquo;une observation soit coh\u00e9rente avec H.<\/li><li>La probabilit\u00e9 P[D] qu&rsquo;une observation soit dans D.<\/li><\/ul>\n\n\n\n<p>Dans la vid\u00e9o, L\u00ea parle de <em>th\u00e9orie <\/em>plut\u00f4t que d&rsquo;hypoth\u00e8se, et utilise la lettre T pour d\u00e9signer cette th\u00e9orie. Mais dans les deux cas, je pense qu&rsquo;on parle bien d&rsquo;un ensemble d&rsquo;observations possibles ayant chacune une certaine probabilit\u00e9. D&rsquo;autre part, il utilise une version de la formule de Bayes dans laquelle la probabilit\u00e9 P[D] est <em>d\u00e9compos\u00e9e <\/em>sous la forme d&rsquo;une somme dans laquelle apparaissent les probabilit\u00e9s conditionnelles d&rsquo;observer une donn\u00e9e de type D selon diff\u00e9rentes th\u00e9ories. On consid\u00e8re alors implicitement un ensemble d&rsquo;hypoth\u00e8ses (th\u00e9ories) qui contient une hypoth\u00e8se H \u00e0 laquelle on s&rsquo;int\u00e9resse particuli\u00e8rement, mais aussi les autres hypoth\u00e8ses alternatives. Voici la mani\u00e8re dont L\u00ea \u00e9crit la formule. La lettre T d\u00e9signe l&rsquo;hypoth\u00e8se \u00e0 laquelle on s&rsquo;int\u00e9resse, et la lettre A d\u00e9signe les hypoth\u00e8ses alternatives.<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"315\" src=\"https:\/\/bailleux.net\/wp-content\/uploads\/2019\/03\/2019-03-20_21h14_41-1024x315.png\" alt=\"\" class=\"wp-image-361\" srcset=\"https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h14_41-1024x315.png 1024w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h14_41-300x92.png 300w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h14_41-768x236.png 768w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h14_41-624x192.png 624w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h14_41.png 1282w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>Voici une reformulation de la d\u00e9composition qui apparait au d\u00e9nominateur. J&rsquo;ai utilis\u00e9 les lettres A et H pour d\u00e9signer respectivement l&rsquo;hypoth\u00e8se de r\u00e9f\u00e9rence et les hypoth\u00e8ses alternatives, et un H majuscule cursif pour d\u00e9signer l&rsquo;ensemble de toutes les hypoth\u00e8ses (i.e. l&rsquo;hypoth\u00e8se de r\u00e9f\u00e9rence et les hypoth\u00e8ses alternatives).<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"540\" src=\"https:\/\/bailleux.net\/wp-content\/uploads\/2019\/03\/2019-03-20_21h55_21-1024x540.png\" alt=\"\" class=\"wp-image-365\" srcset=\"https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h55_21-1024x540.png 1024w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h55_21-300x158.png 300w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h55_21-768x405.png 768w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h55_21-624x329.png 624w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_21h55_21.png 2045w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>Mais attention ! Il y a quelque chose que L\u00ea ne pr\u00e9cise pas et qui me parait important : La d\u00e9composition de P[D] n&rsquo;est correcte que si les hypoth\u00e8ses consid\u00e9r\u00e9es sont mutuellement exclusives et couvrent toutes les observations possibles. En d&rsquo;autres termes, <em>chaque observation possible doit \u00eatre coh\u00e9rente avec une hypoth\u00e8se et une seule<\/em>. Il est facile de voir sur la figure ci dessus que si par exemple H2 et H3 se recouvrent, \u00e7a ne fonctionne plus.<\/p>\n\n\n\n<p>Rentrons maintenant dans le vif du sujet. L\u00ea introduit trois hypoth\u00e8ses (th\u00e9ories) correspondant aux trois emplacements possibles de la voiture. Il attribue la probabilit\u00e9 1\/3 \u00e0 chacune de ces hypoth\u00e8ses, ce qui me parait raisonnable puisqu&rsquo;on a aucune information et qu&rsquo;on peut m\u00eame supposer que cet emplacement a \u00e9t\u00e9 choisi al\u00e9atoirement. Il appelle <em>pr\u00e9jug\u00e9 <\/em>ces trois probabilit\u00e9s. Sans perte de g\u00e9n\u00e9ralit\u00e9, il suppose que le candidat a choisi le rideau du milieu, puis se place dans le cas o\u00f9 le pr\u00e9sentateur a r\u00e9v\u00e9l\u00e9 qu&rsquo;une ch\u00e8vre se trouvait derri\u00e8re le rideau de droite. Au regard de cette information, L\u00ea calcule les probabilit\u00e9s de la donn\u00e9e observ\u00e9e D = [il y a une ch\u00e8vre \u00e0 droite] pour chacune des des trois th\u00e9ories, \u00e0 savoir T1 : la voiture est \u00e0 gauche, T2 : la voiture est au milieu, et T3 : la voiture est \u00e0 droite. Sauf qu&rsquo;il ne num\u00e9rote pas explicitement les th\u00e9ories et utilise \u00e0 chaque fois la lettre T. Je pense que le raisonnement aurait \u00e9t\u00e9 plus facile \u00e0 suivre avec une num\u00e9rotation des trois hypoth\u00e8ses.<\/p>\n\n\n\n<p>Quoi qu&rsquo;il en soit, on a P[D|T3] = 0 parce que sous l&rsquo;hypoth\u00e8se T3 o\u00f9 la voiture est \u00e0 droite, la probabilit\u00e9 d&rsquo;observer une ch\u00e8vre \u00e0 droite est nulle. Ce terme P[D|T3] est appel\u00e9 <em>terme d&rsquo;exp\u00e9rience de pens\u00e9e<\/em> de la th\u00e9orie T3. Ensuite, on a P[D|T1]  = 1 car sous l\u2019hypoth\u00e8se T1 o\u00f9 la voiture est \u00e0 gauche, le pr\u00e9sentateur ouvre forc\u00e9ment le rideau de droite (puisqu&rsquo;il ne veut pas montrer la voiture ni lever le rideau initialement d\u00e9sign\u00e9 par le candidat). Enfin P[D|T2] = 1\/2 car sous l&rsquo;hypoth\u00e8se T2 o\u00f9 la voiture est au milieu, le pr\u00e9sentateur peut choisir de r\u00e9v\u00e9ler soit la ch\u00e8vre de droite, soit la ch\u00e8vre de gauche. L\u00ea traduit cela par la phrase \u00ab\u00a0Dans la th\u00e9orie T2, on pr\u00e9dit la donn\u00e9e observ\u00e9e avec probabilit\u00e9 1\/2\u00a0\u00bb.<\/p>\n\n\n\n<p>Ensuite, L\u00ea calcule le <em>score <\/em>de chaque th\u00e9orie, c&rsquo;est \u00e0 dire les termes P[D|T1] P[T1] = 1\/3, P[D|T2] P[T2] = 1\/6 et P[D|T3] P[T3] = 0. On per\u00e7oit ici qu&rsquo;au regard de l&rsquo;information D dont on dispose, la th\u00e9orie T1 (la voiture est \u00e0 gauche) est deux fois plus probable que la th\u00e9orie T2 (la voiture est au milieu). On applique alors la formule de Bayes pour chacune des trois th\u00e9ories. L\u00ea fait un raccourci en s&rsquo;appuyant implicitement sur le fait que les trois th\u00e9ories sont \u00e9quiprobables. Sans ce raccourci, le d\u00e9nominateur vaut 1x(1\/3) + (1\/2)x(1\/3) + 0x(1\/3) = 1\/2. Les probabilit\u00e9s des trois th\u00e9ories sachant la donn\u00e9e connue sont respectivement P[T1|D] = 2\/3, P[T2|D] = 1\/3 et P[T3|D] = 0. Donc le candidat a deux fois plus de chance de gagner la voiture s&rsquo;il change d&rsquo;avis et choisi le rideau de gauche.<\/p>\n\n\n\n<p>La question importante que L\u00ea n&rsquo;aborde pas, peut \u00eatre parce qu&rsquo;il trouve la r\u00e9ponse \u00e9vidente, c&rsquo;est l&rsquo;utilit\u00e9 de la d\u00e9composition de la probabilit\u00e9 P[D]. Aurait-on pu calculer  facilement cette probabilit\u00e9 et utiliser directement la premi\u00e8re variante de la formule de Bayes ? J&rsquo;ai l&rsquo;impression que la r\u00e9ponses est non. Il est difficile d\u2019appr\u00e9hender cette probabilit\u00e9 que l&rsquo;animateur r\u00e9v\u00e8le une ch\u00e8vre derri\u00e8re le rideau de droite sans prendre en compte les diff\u00e9rentes th\u00e9ories T1, T2 et T3 et cela m\u00e9ritait d&rsquo;\u00eatre dit. Une autre petite critique est qu&rsquo;il est difficile de bien se repr\u00e9senter ce que sont les observations \u00e9l\u00e9mentaires pouvant appartenir aux ensembles T1, T2, T3 et D, et un effort explicatif aurait pu \u00eatre fait \u00e0 ce niveau. Si j&rsquo;ai bien compris, une observation combine deux informations : la position de la voiture et le rideau lev\u00e9 par l&rsquo;animateur. Voici une illustration graphique qui montre ce que je consid\u00e8re \u00eatre les 4 observations possibles (de probabilit\u00e9s non nulles) si le candidat choisit initialement le rideau du milieu. Chacune de ces observations inclut tout l&rsquo;historique, depuis la position de la voiture et des ch\u00e8vres jusqu&rsquo;au rideau lev\u00e9 par l&rsquo;animateur.  On voit notamment que P[D] vaut 1\/3 + 1\/6 = 1\/2. <\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"361\" src=\"https:\/\/bailleux.net\/wp-content\/uploads\/2019\/03\/2019-03-20_23h47_52-1024x361.png\" alt=\"\" class=\"wp-image-373\" srcset=\"https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_23h47_52-1024x361.png 1024w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_23h47_52-300x106.png 300w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_23h47_52-768x271.png 768w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_23h47_52-624x220.png 624w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-20_23h47_52.png 1984w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>Pour conclure, ma principale critique de la vid\u00e9o objet de ce billet, c&rsquo;est qu&rsquo;il manque une explication de la nature des objets math\u00e9matiques repr\u00e9sent\u00e9s par les lettres T (th\u00e9orie) et D (donn\u00e9e connue ou observ\u00e9e). A tel point que j&rsquo;esp\u00e8re ne pas m&rsquo;\u00eatre fourvoy\u00e9 en consid\u00e9rant que T (ou les Ti) et D sont des ensembles d&rsquo;\u00e9v\u00e8nements \u00e9l\u00e9mentaires, chacun  pouvant \u00eatre observ\u00e9s avec une certaine probabilit\u00e9. Mais si je me suis tromp\u00e9, j&rsquo;esp\u00e8re que l&rsquo;auteur passera par l\u00e0 et pourra apporter des pr\u00e9cisions qui me permettront de modifier ce billet.<\/p>\n\n\n\n<p>Concernant le choix de ce probl\u00e8me particulier pour illustrer la puissance de la formule de Bayes, je dirais que le caract\u00e8re contrintuitif de la solution et le fait que le probl\u00e8me soit c\u00e9l\u00e8bre sont des facteurs positifs. Mais par contre, le fait que les \u00ab\u00a0possibles\u00a0\u00bb soit des objets assez complexes, incluant la position de la voiture et le rideau lev\u00e9 par l&rsquo;animateur, fait qu&rsquo;il me serait assez difficile de faire le raisonnement \u00ab\u00a0Bay\u00e9sien\u00a0\u00bb sans \u00eatre guid\u00e9 par un sp\u00e9cialiste. En outre, il y a un raisonnement tr\u00e8s simple et pas sp\u00e9cialement Bay\u00e9sien qui permet de conclure de mani\u00e8re convaincante, en imaginant qu&rsquo;il y a deux candidats, Anne et Barnab\u00e9.<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"519\" src=\"https:\/\/bailleux.net\/wp-content\/uploads\/2019\/03\/2019-03-21_09h22_34-1024x519.png\" alt=\"\" class=\"wp-image-377\" srcset=\"https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-21_09h22_34-1024x519.png 1024w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-21_09h22_34-300x152.png 300w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-21_09h22_34-768x390.png 768w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-21_09h22_34-624x317.png 624w, https:\/\/bailleux.net\/pagepro\/wp-content\/uploads\/2019\/03\/2019-03-21_09h22_34.png 1798w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/figure>\n\n\n\n<p>Anne joue en premier et choisi le rideau central. Elle ne change pas d&rsquo;avis. Puis le pr\u00e9sentateur d\u00e9voile une ch\u00e8vre, et ensuite Barnab\u00e9 choisi le rideau restant qui n&rsquo;a pas \u00e9t\u00e9 choisi par Anne. Clairement, l&rsquo;un des deux candidats gagne la voiture. Comme la voiture a une probabilit\u00e9 1\/3 d&rsquo;\u00eatre remport\u00e9e par Anne, alors elle a une probabilit\u00e9 2\/3 d&rsquo;\u00eatre gagn\u00e9e par Barnab\u00e9. <\/p>\n\n\n\n<p>L\u00ea anticipe cette critique en disant que le but de la vid\u00e9o n&rsquo;est pas sp\u00e9cifiquement de monter la mani\u00e8re la plus simple de r\u00e9soudre le probl\u00e8me donn\u00e9 en exemple, mais de montrer comment le r\u00e9soudre de mani\u00e8re \u00ab\u00a0Bay\u00e9sienne\u00a0\u00bb. Mais il reste qu&rsquo;il y a un gouffre entre la simplicit\u00e9 de la r\u00e9solution de ce probl\u00e8me avec Anne et Barnab\u00e9 et la relative complexit\u00e9 de sa r\u00e9solution avec Bayes.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Ai-je compris tous les messages de la vid\u00e9o Marilyn versus Monty Hall | Bayes 4 diffus\u00e9e sur l&rsquo;excellente cha\u00eene Science4All, anim\u00e9e par le math\u00e9maticien L\u00ea Nguy\u00ean Hoang ? Cette vid\u00e9o aborde un probl\u00e8me \u00e9ponyme de probabilit\u00e9s conditionnelles dans lequel un participant d&rsquo;un jeu t\u00e9l\u00e9vis\u00e9 doit choisir un rideau parmi trois, sachant que derri\u00e8re un des [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-353","post","type-post","status-publish","format-standard","hentry","category-divers"],"_links":{"self":[{"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/posts\/353","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/comments?post=353"}],"version-history":[{"count":26,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/posts\/353\/revisions"}],"predecessor-version":[{"id":411,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/posts\/353\/revisions\/411"}],"wp:attachment":[{"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/media?parent=353"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/categories?post=353"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/bailleux.net\/pagepro\/wp-json\/wp\/v2\/tags?post=353"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}