BEGIN:VCALENDAR VERSION:2.0 PRODID:-//wp-events-plugin.com//7.4.1//EN TZID:Europe/Paris X-WR-TIMEZONE:Europe/Paris BEGIN:VEVENT UID:0-72@lisn.upsaclay.fr DTSTART;TZID=Europe/Paris:20221202T133000 DTEND;TZID=Europe/Paris:20221202T173000 DTSTAMP:20221118T140422Z URL:https://www.lisn.upsaclay.fr/evenements/la-logique-des-incoherences-un -modele-formel-pour-lanalyse-de-lerreur-humaine/ SUMMARY:La logique des incohérences : un modèle formel pour l’analyse d e l’erreur humaine DESCRIPTION:Composition du jury :\nAndreas Herzig (Directeur de Recherches\ , IRIT-CNRS\, Université Paul Sabatier) - RapporteurMichel Occello (Profe sseur des Universités\, LCIS\, Université Grenoble Alpes) - RapporteurCa role Adam (Maîtresse de Conférences\, LIG-CNRS\, Université Grenoble-Al pes) - ExaminatriceEmmanuelle Grislin-Le Strugeon (Maîtresse de Conféren ces-HdR\, LAMIH-CNRS\, INSA Hauts-de-France) - ExaminatriceChristine Pauli n-Mohring (Professeur des Universités\, LMF-CNRS\, Université Paris-Sacl ay) - ExaminatriceNicolas Sabouret (Professeur des Universités\, LISN-CNR S\, Université Paris-Saclay) - Directeur de thèseSafouan Taha (Maître d e Conférences\, LMF-CNRS\, Université Paris-Saclay) - Co-encadrant de th èseFrédéric Boulanger (Professeur des Universités\, LMF-CNRS\, Univers ité Paris-Saclay) - Co-encadrant de thèse\nDans cette thèse\, nous nous sommes intéressés à l'utilisation des méthodes formelles pour guider le diagnostic des erreurs humaines dans des situations d'accidents. L'appl ication des méthodes formelles dans un tel contexte pose plusieurs diffic ultés. La première est de pouvoir expliquer à l'aide de la logique math ématique des situations incohérentes\, donc en contradiction avec cette logique. La deuxième est de pouvoir comparer les différents diagnostics. En effet\, une décision incorrecte n'est jamais le fruit du hasard mais se base sur les croyances\, les désirs et les intentions de l'opérateur. Ainsi\, toute erreur ne se vaut pas et il est nécessaire de formaliser e t de définir ce qui fait un bon diagnostic.\nLa première partie de la th èse présente un état de l'art des travaux en sciences humaines et socia les (SHS) sur l'erreur humaine. Nous montrons qu'il est nécessaire de dis tinguer deux aspects : la détermination des causes d'une prise de décisi on erronée et la compréhension de ces causes par la recherche de biais c ognitifs. Nous présentons ensuite les principaux modèles informatiques p our la modélisation du raisonnement et l'étude de l'erreur humaine. Nous montrons que le diagnostic fondé sur la cohérence (consistency-based di agnosis) et l'opérateur de révision de croyance AGM constitue une bonne piste pour l'explication d'erreurs humaines.\nLa deuxième partie de la th èse s'intéresse à la modélisation d'une situation d'accident et au dia gnostic des décisions humaines erronées dans cette situation. Nous nous sommes basés pour cela sur une logique de croyances inspirée de la logiq ue BDI pour la modélisation des situations d'accidents. Nous avons dével oppé un algorithme de diagnostic itératif basé sur un opérateur de ré vision de croyance minimale respectant l'axiomatique AGM. Cet algorithme d e diagnostic itératif à l'avantage de faciliter la distinction des erreu rs de nature différentes. De plus\, celui-ci est correct et complet par r apport à un algorithme de diagnostic minimal.\nLa troisième contribution de la thèse réside dans notre travail pour définir formellement la pla usibilité d'un diagnostic. Nous nous sommes basés pour cela sur la litt érature des sciences humaines et plus précisément des biais cognitifs. Pour cela\, nous avons développé une première taxonomie formelle des bi ais qui permet de définir des caractéristiques logiques communes entre l es biais. À partir de cette taxonomie\, nous avons pu définir huit biais cognitifs rattachés aux biais présent dans la littérature. Nous avons ensuite considéré que plus un diagnostic peut être expliqué par les bi ais\, plus le diagnostic est plausible.\nNous avons alors étudié la vali dité de ce modèle informatique sur deux cas d'étude d'accident de l'avi ation civile. Nous montrons que nous retrouvons les explications proposée s par le Bureau d'Enquêtes et d'Analyses ainsi que des explications non e nvisagées par les enquêteurs.\nNous proposons enfin plusieurs perspectiv es pour améliorer notre approche. Nous pensons notamment prendre en compt e les émotions et les interactions sociales dans la modélisation de la s ituation d'accident afin d'augmenter la variété de diagnostic possible. Enfin\, nous souhaitons étendre l'évaluation des diagnostics par une mé ta-évaluation des biais cognitifs ainsi que par la prise en compte de l'i ntention d'action. CATEGORIES:IaH,Thèses et HDR END:VEVENT BEGIN:VTIMEZONE TZID:Europe/Paris X-LIC-LOCATION:Europe/Paris BEGIN:STANDARD DTSTART:20221030T020000 TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET END:STANDARD END:VTIMEZONE END:VCALENDAR