Bonjour,
Merci de diffuser dans auprès de vos étudiants cette proposition de thèse à l’Université Paris-Sud.
Cordialement,
Nicolas Sabouret
Frédéric Boulanger
Safouan Taha
Résumé du sujet:
—————-
Cette thèse se déroule dans le cadre d’une collaboration entre l’équipe CPU du LIMSI, spécialisée dans la modélisation et la simulation du comportement humain, et l’équipe MODHEL du LRI, spécialisée dans la modélisation et la vérification de systèmes hétérogènes. L’objectif de la thèse est de concevoir et d’implémenter un cadre formel qui combine la logique modale BDI [5] (utilisée pour représenter et raisonner sur les croyances et les buts des humains) et la logique modale temporelle LTL (utilisée, entre autres, pour la vérification formelle de systèmes). Notre objectif est ainsi de modéliser et d’étudier le comportement de systèmes mixtes humains-machines. En représentant les facteurs humains et le fonctionnement du système, nous voulons raisonner sur les possibles causes de défaillances provenant de l’inadéquation entre les usages et la conception du système. En particulier, nous voulons modéliser les risques d’erreur liés aux croyances erronées, aux inattentions, à l’état affectif de l’opérateur (stress), mais aussi à des informations incomplètes ou ambiguës en provenance du système ou impossible à interpréter pour l’humain.
—
Nicolas Sabouret, Professeur
LIMSI-CNRS, Bat 508, rue von Neumann, 91405 Orsay Cedex
CentraleSupelec, 91192 Gif sur Yvette Cedex
https://perso.limsi.fr/sabouret/