A Rational Agent as the Kernel of a Cooperative Spoken Dialogue System: Implementing a Logical Theory of Interaction

We present the basic components of ARTIMIS, a rational agent based on 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. It thus supports the rational unit of an autonomous communicating agent, which, in our case, is the kernel of a cooperative spoken dialogue system. It is expressed in a first-order (multi)modal logic of mental attitudes (belief, uncertainty, and intention) and actions. The implementation consists of an inference engine, which is a theorem prover, specifically designed to reason using the axioms and rules of this kind of logical theory in their syntactical form.

[1]  Patrice Enjalbert,et al.  Modal Resolution in Clausal Form , 1989, Theor. Comput. Sci..

[2]  Hans Jürgen Ohlbach,et al.  A Resolution Calculus for Modal Logics , 1988, CADE.

[3]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[4]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[5]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[6]  K. Konolige.  A deduction model of belief , 1986 .

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

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

[9]  Yoav Shoham.  Agent-Oriented Programming , 1993, Artif. Intell..

[10]  M. Fitting.  Proof Methods for Modal and Intuitionistic Logics , 1983 .

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

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

[13]  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 .

[14]  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.

[15]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[16]  L. Fariñas-del-Cerro,et al.  Resolution modal logics , 1989 .

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

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

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

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

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