Guiraud, Nadine (2013). Une formalisation de l'intention communicative et des actes de langage expressifs.
![]() | PDF (Accès restreint. S'adresser à l'accueil de la BU Sciences de Toulouse) - Accès intranet - nécessite un logiciel de visualisation PDF comme GSview, Xpdf or Adobe Acrobat Reader 1521Kb |
Résumé en francais
Le but de cette thèse est de fournir une logique du comportement d'un agent artificiel interagissant rationnellement avec un humain. La rationalité de son comportement le rend capable d'une part de construire et suivre un plan de communication et d'autre part de respecter des conventions de communication. Notre recherche est orientée vers un modèle logique du raisonnement de l'agent sur ce qu'il dit et ressent, dans le but de rendre ses interactions avec un humain les plus naturelles possible pour ce dernier. La première étape de ce travail a été d'étendre une logique modélisant la mise à jour des croyances, afin que cette dernière soit réalisée selon un protocole de communication. Dans ce cadre, un agent qui suit un comportement coopératif respecte une certaine cohérence entre ce qu'il croit, ce qui est le cas, et ce qu'il peut dire selon son plan de communication. La deuxième étape a concerné l'expression des émotions. Cette modélisation est construite à partir de composantes plus primitives qui sont ce qu'un agent dit, ce qu'il aurait pu faire, sa représentation du monde, ses désirs et valeurs morales.
Sous la direction du : |
| |||
---|---|---|---|---|
Ecole doctorale: | Mathématiques, informatique, télécommunications de Toulouse (MITT) | |||
laboratoire/Unité de recherche : | Institut de Recherche en Informatique de Toulouse (IRIT), UMR 5505 | |||
Mots-clés libres : | Actes de langage - Logique modale - Emotions - Intention communicative - Logique épistémique dynamique | |||
Sujets : | Informatique | |||
Déposé le : | 17 Mar 2014 12:00 |