Skip to main content
Springer Nature Link
Log in

Agent Communication Language: Towards a Semantics based on Success, Satisfaction, and Recursion

  • Conference paper
  • First Online:
Intelligent Agents V: Agents Theories, Architectures, and Languages (ATAL 1998)

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

Included in the following conference series:

  • 1235 Accesses

Abstract

Searle and Vanderveken’s model of speech acts is undoubtedly an adequate model for the design of communicating agents because it offers a rich theory which can give important properties of protocols that we can formalize properly. We examine this theory by focusing on the two fundamentals notions, success and satisfaction, which represent a systematic, unified account of both the truth and the success conditional aspects. Then, we propose an adequate formalism-the situation calculus-for representing these two notions (in a recursive way) in the context of agent communication language. The resulting framework is finally used for (1) the analysis and interpretation of speech acts; (2) the semantics and descriptions of agent communication languages.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. J. F. Allen and C. R. Perrault. Analysing intention in utterances. Artificial Intelligence, 15(3):143–178, 1980.

    Article  Google Scholar 

  2. J. L. Austin. How to Do Things With Words. Oxford University Press: Oxford, England, 1962.

    Google Scholar 

  3. K. Bach and R. M. Harnich. Linguistic Communication and Speech Acts. MIT Press: Cambridge,MA, 1979.

    Google Scholar 

  4. B. Chaib-draa. On the success and satisfaction of speech acts for computational agents. Rapport DIUL-RR-9409, Département d’Informatique, Université Laval, 1994.

    Google Scholar 

  5. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.

    Article  MathSciNet  MATH  Google Scholar 

  6. F. Dignum. Social interactions of autonomous agents; private and global views on communications. In ModelAge’97 Workshop. 1997.

    Google Scholar 

  7. C. G. Jung. Emergent mental attitudes in layered agents. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), LNAI. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  8. Y. Labrou and T. Finin. semantics and conversations for an agent communication language. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97). Nagao, Japan, 1997.

    Google Scholar 

  9. F. Lin and R. Reiter. State constraints revised. Journal of Logic and computation. Special Issue on Actions and Process, 1994.

    Google Scholar 

  10. J. McCarty and P. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Mitchie, editors, Machine Intelligence, Vol. 4, pages 463–502. Edinburgh University Press, 1969.

    Google Scholar 

  11. R. C. Moore. A formal theory of knowledge and action. Report no. CSLI-85-31, Center for the Study of Language and Information, Menlo Park, CA, 1985.

    Google Scholar 

  12. M. Móra, J. G. Lopes, R. Viccari, and H. Coelho. BDI models and systems: reducing the gap. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), LNAI. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  13. M. E. Pollack. Plan as complex mental attitudes. In Morgan J. Cohen, P. R. and M. E. Pollack, editors, Intentions in Communication, pages 77–103. MIT Press, 1990.

    Google Scholar 

  14. R. Reiter. Knowledge in Action: Logical Foundation for Describing and Implementing Dynamical Systems. Unpub. Draft, CS Departement Toronto University, 1996.

    Google Scholar 

  15. R. Scherl. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 689–695, Washington DC, 1993.

    Google Scholar 

  16. K. Schild. On the relationship between BDI logics and standard logics of concurrency. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), LNAI. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

  17. J. R. Searle. Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press: Cambridge, England, 1969.

    Google Scholar 

  18. J. R. Searle and D. Vanderveken. Foundations of Illocutionary Logic. Cambridge University Press: Cambridge, England, 1985.

    MATH  Google Scholar 

  19. M. P. Singh. On the semantics of protocols among distributed intelligent agents. Report DFKI-TMI-91-09, DFKI The German Research Center for AI, 1991.

    Google Scholar 

  20. D. Vanderveken. Meaning and Speech Acts: Formal Semantics of Success and Satisfaction. Cambridge University Press: Cambridge,England, 1990.

    Google Scholar 

  21. D. Vanderveken. Meaning and Speech Acts: Principles of Language Use. Cambridge University Press: Cambridge, England, 1990.

    Google Scholar 

  22. G. H. vonWright. Deontic logic. Mind, 60:1–15, 1951.

    Article  Google Scholar 

  23. S. T. C. Wong. COSMO: a communication scheme for cooperative knowledge-based systems. IEEE Transactions on Systems, Man and Cybernitics, 23(3):809–824, 1993.

    Article  Google Scholar 

  24. M. J. Wooldridge and S. D. Parsons. Intention reconsideration reconsidered. In J. P. Müller, M. P. Singh, and A. S. Rao, editors, Intelligent Agents V — Proceedings of the Fifth International Workshop on Agent Theories, Architectures, and Languages (ATAL-98), LNAI. Springer-Verlag, Heidelberg, 1999. In this volume.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Department Pavillon Pouliot, Laval University, Ste-Foy, PQ, Canada, G1K 7P4

    Brahim Chaib-draa

  2. Département de Philosophie, Pavillon Ringuet, CP 500, UQTR, Trois-Riviéres, PQ, Canada, G9A 5H7

    Daniel Vanderveken

Authors
  1. Brahim Chaib-draa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Daniel Vanderveken
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Brahim Chaib-draa .

Editor information

Editors and Affiliations

  1. John Wiley & Sons Ltd., International House, Ealing, London, W5 5DB, UK

    Jörg P. Müller

  2. Mitchell Madison Group, Level 49, 120 Collins St., Melbourne, Victoria, 3000, Australia

    Anand S. Rao

  3. Department of Computer Science, North Carolina State University, Raleigh, NC, 27695-8206, USA

    Munindar P. Singh

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Chaib-draa, B., Vanderveken, D. (1999). Agent Communication Language: Towards a Semantics based on Success, Satisfaction, and Recursion. In: Müller, J.P., Rao, A.S., Singh, M.P. (eds) Intelligent Agents V: Agents Theories, Architectures, and Languages. ATAL 1998. Lecture Notes in Computer Science, vol 1555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49057-4_24

Download citation

  • DOI: https://doi.org/10.1007/3-540-49057-4_24

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65713-2

  • Online ISBN: 978-3-540-49057-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics