Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Agent Theories, Architectures, and Languages

ATAL 1996: Intelligent Agents III Agent Theories, Architectures, and Languages pp 189–203Cite as

A rational agent as the kernel of a cooperative spoken dialogue system: Implementing a logical theory of interaction

  • Part IV: Theories
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1193))

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.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. E. Bratman, editor. Intention, Plans, and practical reason. Harvard University Press, Massachusetts, 1987.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. L. Catach. Modal resolution. In Proceedings of AFCET-RFIA, pages 1079–1093, 1987.

    Google Scholar 

  5. L. Catach. TABLEAUX: A general theorem prover for modal logics. Journal of Automated Reasoning, 7(4):489–510, December 1991.

    Article  Google Scholar 

  6. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42(2–3):213–262, 1990.

    Article  Google Scholar 

  7. P. Enjalbert and L. Fariñas del Cerro. Modal resolution in clausal form. Theorical Computer Science, 65:1–33, 1989.

    Article  Google Scholar 

  8. L. Fariñas del Cerro. Resolution modal logic. Logique et Analyse, 110–111, 1985.

    Google Scholar 

  9. M. C. Fitting, editor. Proof methods for Modal and Intuitionistic Logics. D. Reidel publishing Co., 1983.

    Google Scholar 

  10. K. Konolige. A deduction model of belief. Pitman, Morgan Kaufmann, London, 1986.

    Google Scholar 

  11. K. Konolige and M. E. Pollack. A representationalist theory of intention. In Proceedings of the 13 th IJCAI, pages 390–395, Chambery, France, 1993.

    Google Scholar 

  12. H. J. Levesque. Foundation of a functional approach to knowledge representation. Artificial Intelligence, 23(2):155–212, July 1984.

    Article  Google Scholar 

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

    Google Scholar 

  14. R. C. Moore. Reasoning about knowledge and action. PhD thesis, MIT, Cambridge, 1980.

    Google Scholar 

  15. A. Newell. The knowledge level. Artificial Intelligence, 18:87–128, 1982.

    Article  Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. A. S. Rao and M. P. Georgeff. Formal models and decision procedures for multi-agent systems. Technical Note 61, AAII, Sydney, Australia, 1995.

    Google Scholar 

  20. J. A. Robinson. A machine-oriented logic based on the resolution principle. journal of the ACM, 12:23–41, 1965.

    Article  Google Scholar 

  21. 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.

    Google Scholar 

  22. 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.

    Google Scholar 

  23. 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.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. 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.

    Google Scholar 

  26. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.

    Article  Google Scholar 

  27. 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.

    Google Scholar 

  28. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre National d'Etude des Télécommunications (CNET-LAA/TSS/RCP) Technopole Anticipa - 2, France Télécom, avenue Pierre Marzin, F22307, Lannion Cedex, France

    Philippe Bretier & David Sadek

Authors
  1. Philippe Bretier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. David Sadek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jörg P. Müller Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation