ARTIMIS: Natural Dialogue Meets Rational Agency

We present an effective generic communicating rational agent, ARTIMIS, and its application to cooperative spoken dialogue. ARTIMIS ' kernel is the implementation of a formal theory of interaction. This theory involves a set of generic axioms which models, in a homogeneous logical framework, principles of rational behaviour, communication, and cooperation. The theory is interpreted by a specifically designed reasoning engine. When applied to the context of natural dialogue, ARTIMIS includes specialised components for speech and natural language processing.

[1]  M. David Sadek,et al.  A Study in the Logic of Intention , 1992, KR.

[2]  Philippe Bretier,et al.  Effective human-computer cooperative spoken dialogue: the AGS demonstrator , 1996, Proceeding of Fourth International Conference on Spoken Language Processing. ICSLP '96.

[3]  Franck Panaget.  D'un systeme generique de generation d'enonces en contexte de dialogue oral a la formalisation logique des capacites linguistiques d'un agent rationnel dialoguant , 1996 .

[4]  Katarina Bartkova,et al.  On the modelization of allophones in an HMM based speech recognition system , 1991, EUROSPEECH.

[5]  Pierre Dupont,et al.  Dynamic use of syntactical knowledge in continuous speech recognition , 1993, EUROSPEECH.

[6]  Anand S. Rao,et al.  Asymmetry Thesis and Side-Effect Problems in Linear-Time and Branching-Time Intention Logics , 1991, IJCAI.

[7]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

[8]  Philippe Bretier.  La communication orale coopérative : contribution à la modélisation logique et à la mise en oeuvre d'un agent rationnel dialoguant , 1995 .

[9]  M. Georgeff,et al.  Formal Models and Decision Procedures for Multi-Agent Systems , 1995 .

[10]  Philippe Bretier,et al.  A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction , 1996, ATAL.

[11]  David R. Traum,et al.  A Reactive-Deliberative Model of Dialogue Agency , 1996, ATAL.

[12]  Daniel Marcu,et al.  Foundations of a Logical Approach to Agent Programming , 1995, ATAL.

[13]  Yoav Shoham,et al.  Agent-Oriented Programming , 1992, Artif. Intell..

[14]  Michael Wooldridge,et al.  A Knowledge-Theoretic Semantics for Concurrent METATEM , 1996, ATAL.

[15]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[16]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[17]  Olivier Boëffard,et al.  Multilingual PSOLA text-to-speech system , 1993, 1993 IEEE International Conference on Acoustics, Speech, and Signal Processing.

[18]  Douglas E. Appelt,et al.  Planning English Sentences , 1988, Cogn. Sci..

[19]  M. David Sadek,et al.  Communication Theory = Rationality Principles + Communicative Act Models , 1994, AAAI 1994.