Étude de modèles de représentations, de requêtes et de raisonnement sur le fonctionnement des composants actifs pour l'interaction homme-machine

Nous abordons dans cette these le probleme de la construction de reponses a des requetes formelles modelisant des questions de bon sens posees par les utilisateurs ordinaires concernant le fonctionnement d'un composant actif. Les recherches actuelles dans la communaute du raisonnement sur les actions proposent de travailler sur une modelisation du systeme en logique pour repondre a des requetes bien formees et ne prennent pas en compte l'existence de "notions de bon sens" utilisees par les utilisateurs ordinaires dans la formulation des questions. De plus, nous voulons pouvoir travailler directement sur le code du composant. Nous presentons tout d'abord un langage de programmation pour les composants actifs qui permet d'avoir acces en cours d'execution a une description des actions et des donnees du composant. Nous presentons ensuite un langage de requetes qui permet de modeliser une large classe de questions sur le fonctionnement issues de l'interaction en langue naturelle. Nous proposons des algorithmes de reponse qui permettent de traiter ces requetes ainsi qu'un cadre formel pour prendre en compte des notions de bon sens dans les requetes. Nous etudions ensuite le probleme de la construction de reponses portant sur l'execution passee du composant. Nous montrons qu'il est necessaire d'utiliser une approche dynamique pour extraire des regularites dans les actions du composant et mettre en evidence des comportements, individuels dans le cas d'une interaction avec l'utilisateur ou collectifs dans le cas d'une interaction dans un systeme multi-agents. Nous montrons que nos travaux peuvent s'integrer dans le cadre du web semantique pour definir des composants actifs sous la forme de pages web dynamiques munies de capacite de raisonnement et d'interaction avec les utilisateurs ordinaires. Nous presentons enfin l'implementation de notre modele realisee dans le projet InterViews et nous donnons des exemples de programmation et d'execution de ces composants actifs.