LogoLogo

Guiraud, Nadine. Une formalisation de l'intention communicative et des actes de langage expressifs

Guiraud, Nadine (2013). Une formalisation de l'intention communicative et des actes de langage expressifs.

[img]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 :
Directeur de thèse
Herzig, Andreas
Lorini, Emiliano
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