Les cadres interactionnels actuels pour les communications entre agents (protocoles, stratégies de conversation, jeux de dialogue, . . . ) garantissent la cohérence structurelle des conversations tenues. Pourtant, ce n'est pas tant l'habilité des agents à structurer leurs conversations qui nous intéresse que leurs aptitudes à tenir des conversations utiles quant à leurs objectifs individuels et collectifs. Pour traiter cette problématique, nous avons défini et implanté un modèle complet de la communication entre agents qui couvre les quatre dimensions classiques de la communication : syntaxe, structure, sémantique et pragmatique.
Au niveau syntaxique, nous proposons le langage DIAGAL[DIAlogue Game based Agent communication Language] qui se présente comme un ensemble de jeux de dialogue qui permettent la manipulation conjointe d'engagements sociaux. Du point de vue de la structuration des dialogues, les jeux de dialogue que nous proposons offrent une alternative à la rigidité des protocoles tout en capturant les aspects conventionnels de la communication, absents des approches considérant des actes de langages isolés. Dans notre approche, le niveau sémantique de la communication repose, quant à lui, sur les engagements sociaux qui capturent les interdépendances contractées par les agents lors des communications.
Dans ce contexte, notre contribution principale concerne les aspects cognitifs de la pragmatique. À cet effet, nous proposons une théorie cognitive de l'utilisation de ce cadre interactionnel basée sur la notion de cohérence cognitive et fondée sur des résultats non encore formalis és de sciences cognitives. Issue d'une unification de la théorie de la dissonance cognitive (une des théories majeures de psychologie cognitive) avec la théorie de cohérence cognitive (développée en philosophie de l'esprit), notre approche est formulée en termes d'éléments et de contraintes, notions familières en informatique. La théorie motivationnelle résultante est ensuite étendue afin de traiter la communication entre agents cognitifs. Sous les hypothèses de notre théorie, nous définissons alors une métrique de l'utilité des conversations entre agents.
Nous montrons comment cette théorie permet de résoudre en pratique de nombreux problèmes fondamentaux des aspects cognitifs de la pragmatique des communications entre agents. En particulier, nous proposons une première application de notre théorie pour l'utilisation automatique par des agents de type BDI [Beliefs, Desires and Intentions] des jeux de dialogue du langage DIAGAL. Ce faisant, nous introduisons un certain nombre d'outils techniques pour l'automatisation des communications entre agents tout en précisant quels sont nos apports théoriques pour les SMAs et plus généralement pour les sciences cognitives. / Different approaches have investigated the syntax and semantics of agent communication
languages. However, these approaches have not indicated how agents should dynamically use
communications. Instead of filling this pragmatics gap, most approaches have mainly focused
on the "structure" of dialogues even though developers are more interested in agents' capabilities
of having "useful" automated conversations with respect to their goals rather than in their
abilities to structure dialogues. We addressed this problem that requires re-inquiring the four
main dimensions of (agent) communication : syntax, structure, semantics and pragmatics (the
theory of the use of language).
At the syntactic level, we have developed an agent communication language called DIAGAL
[DIAlogue Game based Agent communication Language] which consists of a set of
dialogue games that allows for the grounded manipulation of social commitments. At the
structural level, DIAGAL dialogue games offer a good compromise between the lack of flexibility
of protocols while taking into account the conventional aspects of dialogue which were
missing in isolated speech acts approaches. At the semantics level, we provide a social commitments
model that captures the inter-dependencies contracted by the agents toward each
other during dialogues.
In that context, our main contribution concerns the cognitive aspects of pragmatics. To this
end, we develop in this thesis a motivational theory for the use of such a conventional and
social agent communication framework. Our approach is based on cognitive science results
that have not been formalized yet. Our theory consists of a formalisation and a unification of
the cognitive dissonance theory (one of the major theories of cognitive psychology) with the
coherence theory issuing from philosophy of mind. Our approach is formulated in terms of
elements and constraints which allow making it computational. This theory allows formally
defining and exploiting the notion of utility of dialogues.
We show in this thesis how this approach allows solving many theoretical and practical
problems in agent communication. As a validation of this approach, we extend classical BDI
[Beliefs, Desires and Intentions] agents to allow them to automatically use DIAGAL dialogue
games. The resulting framework provides the necessary theoretical and practical elements for
implementing our theory. In doing so, it brings in a general scheme for automatizing agents'
communicational behaviour.
| Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QQLA.2005/22860 |
| Date | 08 1900 |
| Creators | Pasquier, Philippe |
| Contributors | Chaib-draa, Brahim |
| Publisher | Université Laval |
| Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
| Language | French |
| Detected Language | French |
| Type | Electronic Thesis or Dissertation |
| Format | text/html, application/pdf |
| Rights | © Philippe Pasquier, 2005 |
Page generated in 0.0025 seconds