Nicolas Sabouret: Modèles logiques, IA et sciences humaines

Orateur: Nicolas Sabouret (LISN, Université Paris-Saclay)

Résumé: L’analyse de l’erreur humaine pour anticiper et prévenir les accidents reste un territoire peu exploré par l’IA. Pour cause : si le diagnostic de systèmes a fait l’objet de nombreux travaux, l’utilisation de modèles logiques pour diagnostiquer des erreurs humaines se heurtent à une difficulté majeure : l’erreur humaine n’est pas logique. Dans cet exposé, nous montrerons comment il est possible de modéliser, à l’aide de la logique, des phénomènes non-rationnels pour raisonner dessus à l’aide d’outils issus des méthodes formelles. Nous montrerons que cela nous a conduit à reconsidérer les problèmes classiques du décors, du diagnostic fondé sur la cohérence et de la révision de croyance.