Une formalisation de l'intention communicative et des actes de langage expressifs

A formalization of communicative intention and expressive speech acts

• Auteur / Autrice : Nadine Guiraud
• Direction : Andreas Herzig, Emiliano Lorini
• Type : Thèse de doctorat
• Discipline(s) : Intelligence artificielle
• Date : Soutenance en 2013
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Modalité (logique)

Agents intelligents (logiciels)

Intelligence artificielle répartie

Communication

Mots clés libres

Actes de langage

Logique modale

Emotions

Intention communicative

Logique épistémique dynamique

Résumé

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.

The aim of this thesis is to design a logic of the behavior of an artificial agent that interacts rationally with a human. The rationality of her behavior enables her on the one hand to build and follow communication plans and on the other hand to follow communication conventions. Our research is oriented towards a logical model of the agent's reasoning about what she says and feels with the aim of making her interactions with a human the most natural for the latter. The first step of our work was to extend a logic modeling belief update such that the update follows a communication's protocol. In this framework, an agent following the rules of cooperative behavior respects coherence between what she believes, what is the case, and what she can say according to her communication plan. The second step concerned the agent's expression of emotions. This modeling builds on primitives representing what an agent says, what she could have done, her representation of the world and her desires and moral values.