Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
M. E. Bratman, editor. Intention, Plans, and practical reason. Harvard University Press, Massachusetts, 1987.
P. Bretier. La communication orale coopérative: contribution à la modélisation logique et à la mise en œuvre d'un agent rationnel dialoguant. Thèse de Doctorat Informatique, Université de Paris XIII, France, 1995.
P. Bretier and M. D. Sadek. Designing and implementing a theory of rational interaction to be the kernel of a cooperative spoken dialogue system. In Proceedings of the AAAI Fall Symposium on Rational Agency, Cambridge, MA, November 1995.
L. Catach. Modal resolution. In Proceedings of AFCET-RFIA, pages 1079–1093, 1987.
L. Catach. TABLEAUX: A general theorem prover for modal logics. Journal of Automated Reasoning, 7(4):489–510, December 1991.
P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(2–3):213–262, 1990.
P. Enjalbert and L. Fariñas del Cerro. Modal resolution in clausal form. Theorical Computer Science, 65:1–33, 1989.
L. Fariñas del Cerro. Resolution modal logic. Logique et Analyse, 110–111, 1985.
M. C. Fitting, editor. Proof methods for Modal and Intuitionistic Logics. D. Reidel publishing Co., 1983.
K. Konolige. A deduction model of belief. Pitman, Morgan Kaufmann, London, 1986.
K. Konolige and M. E. Pollack. A representationalist theory of intention. In Proceedings of the 13 th IJCAI, pages 390–395, Chambery, France, 1993.
H. J. Levesque. Foundation of a functional approach to knowledge representation. Artificial Intelligence, 23(2):155–212, July 1984.
Y. Lésperance, H.J. Levesque, F. Lin, D. Marcu, R. Reiter, and R.B. Scherl. Foundations of a logical approach to agent programming. In Intelligent Agents II, volume 1037 of Lecture Notes in Artificial Intelligence, pages 331–346. Springer-Verlag, 1996.
R. C. Moore. Reasoning about knowledge and action. PhD thesis, MIT, Cambridge, 1980.
A. Newell. The knowledge level. Artificial Intelligence, 18:87–128, 1982.
H. J. Ohlbach. A resolution calculus for modal logic. In E. Lusk and R. Overbeek, editors, Proceedings of the 8 th Conference on Automated Deduction CADE-88, volume 310 of Lecture Note in Computer Science, pages 500–516, 1988.
F. Panaget. D'un système générique de génération d'énoncés en contexte de dialogue oral à la formalisation logique des capacités linguistiques d'un agent rationnel dialoguant. Thèse de Doctorat Informatique, Université de Rennes I, France, Mars 1996.
A. S. Rao and M. P. Georgeff. Asymmetry thesis and side-effect problems in linear-time and branching-time intention logics. In Proceedings of the 12 th IJCAI, pages 498–504, Sydney, Australia, 1991.
A. S. Rao and M. P. Georgeff. Formal models and decision procedures for multi-agent systems. Technical Note 61, AAII, Sydney, Australia, 1995.
J. A. Robinson. A machine-oriented logic based on the resolution principle. journal of the ACM, 12:23–41, 1965.
M. D. Sadek. Attitudes mentales et interaction rationnelle: vers une théorie formelle de la communication. Thèse de Doctorat Informatique, Université de Rennes I, France, Juin 1991.
M. D. Sadek. Dialogue acts are rational plans. In Proceedings of the ESCA/ETRW Workshop on the structure of multimodal dialogue, pages 1–29, Maratea, Italie, September 1991.
M. D. Sadek. A study in the logic of intention. In Proceedings of the 3 rd Conference on Principles of Knowledge Representation and Reasoning (KR '92), pages 462–473, Cambridge, MA, 25–29 October 1992.
M. D. Sadek. Communication theory=rationality principles + communicative act models. In Proceedings of the AAAI-94 Workshop on Planning for Interagent Communication, Seattle, WA, July 30–August 5 1994.
M. D. Sadek, A. Ferrieux, A. Cozannet, P. Bretier, F Panaget, and J. Simonin. Effective human-computer cooperative spoken dialogue: The ags demonstrator. In Proceedings of the International Conference on Spoken Language Processing, Philadelphia, USA, October 3–6 1996.
Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.
D. R. Traum. A reactive-deliberative model of dialogue agency. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
M. J. Wooldridge. A knowledge-theoretic semantics for concurrent metatem. In J. P. Müller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III — Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, 1996. In this volume.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bretier, P., Sadek, D. (1997). A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction. In: Müller, J.P., Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents III Agent Theories, Architectures, and Languages. ATAL 1996. Lecture Notes in Computer Science, vol 1193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013586
Download citation
DOI: https://doi.org/10.1007/BFb0013586
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62507-0
Online ISBN: 978-3-540-68057-4
eBook Packages: Springer Book Archive