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

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

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

TOULOUSE3-BU Sciences (315552104) / SudocSudocFranceF

Speech acts as announcements (LSIR2)

also presented at Dagstuhl workshopInternational audienceOur aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a modeling in terms of speech act

Speech acts as announcements

Our aim is to use the logic of public announcements and more generally dynamic epistemic logics as a logic of speech acts. To that end we start from a simple multimodal logic of beliefs and goals (without common belief), and add public announcements. We suppose that announcements do not modify goals. We then consider several variants of speech acts of assertive and directive force and provide a modeling in terms of speech acts

Speech acts as announcements (Dagstuhl Seminar on Information processing, rational belief change and social interaction, Dagstuhl, Germany, 23/08/09-27/08/09)

Science Publications, Dagstuhl Seminar Proceedings 1862-4405, (en ligne). Also presented at LSIR-2 (workshop at IJCAI 2009)International audienc

Agents that speak: modelling communicative plans and information sources in a logic of announcements

(Extended Abstract)International audienceWe present a modal logic of belief and announcements in a multi-agent setting. This logic allows to express not only that ψ holds after the announcement of φ as in standard public announcement logic (PAL), but also that the announcement of φ occurs. We use the logic to provide a formal analysis of several concepts that are relevant for multi-agent systems (MAS) theory and applications: the notions of communicative action (an agent informs another agent about something) and communicative intention (an agent has the intention to inform another agent about something), and the notion of information source

The face of emotions: a logical formalization of expressive speech acts

International audienceIn this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allows to describe what a given agent expresses in the context of a conversation with another agent. We use the logic in order to provide a systematic analysis of expressive speech acts, that is, speech acts that are aimed at expressing a given emotion (e.g. to apologize, to thank, to reproach, etc.)

The face of emotions: a logical formalization of expressive speech acts

International audienceIn this paper, we merge speech act theory, emotion theory, and logic. We propose a modal logic that integrates the concepts of belief, goal, ideal and responsibility and that allows to describe what a given agent expresses in the context of a conversation with another agent. We use the logic in order to provide a systematic analysis of expressive speech acts, that is, speech acts that are aimed at expressing a given emotion (e.g. to apologize, to thank, to reproach, etc.)

Expressive Multimodal Conversational Acts for SAIBA Agents

International audienceWe discuss here the need to define what we call an agent con-versational language, a language for Embodied Conversational Agents (ECA) to have conversations with a human. We propose a set of Ex-pressive Multimodal Conversation Acts (EMCA), which is based on the Expressive Speech Acts that we introduced in a previous work, enriched with the multimodal expression of the emotions linked to these acts. We have then implemented these EMCA for SAIBA-compliant ECA, and specifically for Greta. We were able to use Greta in experiments aimed at assessing the benefits of our language in terms of perceived sincerity and believability of an ECA using it to interact with a human user