Skip to main content
SpringerLink
Log in

A Model of Rational Agency for Communicating Agents

  • Conference paper
Agent Communication (AC 2004)

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

Included in the following conference series:

Abstract

The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we extend CASL to incorporate a formal model of means-ends reasoning suitable for a multiagent context. In particular, we define a simple model of cooperative ability, give a definition of rational plans, and show how an agent’s intentions play a role in determining her next actions. This bridges the gap between intentions to achieve a goal and intentions to act. We also define a notion of subjective plan execution and show that in the absence of interference, an agent that is able to achieve a goal, intends to do so, and is acting rationally will eventually achieve it.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cohen, P., Levesque, H.: Intention is Choice with Commitment. Artificial Intelligence 42(2-3), 213–361 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  2. Cohen, P., Levesque, H.: Rational Interaction as the Basis for Communication. In: Cohen, P., Morgan, J., Pollack, M. (eds.) Intentions in Communication, pp. 221–255. MIT Press, Cambridge (1990)

    Google Scholar 

  3. Dastani, M.M., van Riemsdijk, M.B., Dignum, F.P.M., Meyer, J.-J.C.: A programming language for cognitive agents goal directed 3APL. In: Dastani, M.M., Dix, J., El Fallah-Seghrouchni, A. (eds.) PROMAS 2003. LNCS (LNAI), vol. 3067, pp. 111–130. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  4. De Giacomo, G., Lespérance, Y., Levesque, H., Sardina, S.: On the Semantics of Deliberation in IndiGolog - From Theory to Implementation. Annals of Mathematics and Artificial Intelligence 41(2-4), 259–299 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  5. De Giacomo, G., Lespérance, Y., Levesque, H.: ConGolog, a Concurrent Programming Language Based on the Situation Calculus. Artificial Intelligence 121, 109–169 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  6. Foundations for Intelligent Physical Agents: FIPA Communicative Act Library Specification. Document 37 (1997-2002)

    Google Scholar 

  7. Flores, R., Pasquier, P., Chaib-draa, B.: Conversational semantics with social commitments. In: van Eijk, R., Huget, M.-P., Dignum, F. (eds.) Developments in Agent Communication. LNCS. Springer, Heidelberg (2004)

    Google Scholar 

  8. Fornara, N., Vigano, F., Colombetti, M.: Agent communication and institutional reality. In: van Eijk, R., Huget, M.-P., Dignum, F. (eds.) Developments in Agent Communication. LNCS, Springer, Heidelberg (2004)

    Google Scholar 

  9. Herzig, A., Longin, D.: A Logic of Intention with Cooperation Principles and with Assertive Speech Acts as Communication Primitives. In: Proc. of AAMAS 2002 (2002)

    Google Scholar 

  10. Hoare, C.: Communicating Sequential Processes. Prentice Hall Int., Englewood Cliffs (1985)

    MATH  Google Scholar 

  11. van der Hoek, W., Hindriks, K.V., de Boer, F.S., Meyer, J.-J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, p. 228. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. Huber, M., Kumar, S., McGee, D.: A suite of performatives based upon joint intention theory. In: van Eijk, R., Huget, M.-P., Dignum, F. (eds.) Developments in Agent Communication. LNCS, Springer, Heidelberg (2004)

    Google Scholar 

  13. Khan, S.: A Situation Calculus Account of Multiagent Planning, Speech Acts, and Communication. M.Sc Thesis. Dept. of Computer Science, York University. In preparation (2004)

    Google Scholar 

  14. Lakemeyer, G., Levesque, H.: AOL: A Logic of Acting, Sensing, Knowing, and Only-Knowing. In: Proc. of KR 1998, 316–327 (1998)

    Google Scholar 

  15. Lespérance, Y., Levesque, H.J., Lin, F., Marcu, D., Reiter, R., Scherl, R.: Foundations of a Logical Approach to Agent Programming. In: Wooldridge, M., Muller, J., Tambe, M. (eds.): Intelligent Agents. Proc. of ATAL 1995, Vol. II, pp. 331–346 (1995)

    Google Scholar 

  16. Lespérance, Y., Levesque, H., Lin, F., Scherl, R.: Ability and Knowing How in the Situation Calculus. Studia Logica 66(1), 165–186 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  17. Lespérance, Y.: On the epistemic feasibility of plans in multiagent systems specifications. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol. 2333, p. 69. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Levesque, H.: What is planning in the presence of sensing? In: Proc. of the Thirteenth National Conference on Artificial Intelligence, Portland, OR, pp. 1139–1146 (1996)

    Google Scholar 

  19. Levesque, H., Reiter, R., Lespérance, Y., Lin, F., Scherl, R.: GOLOG: A Logic Programming Language for Dynamic Domains. J. of Logic Programming, 31 (1997)

    Google Scholar 

  20. van Linder, B., van der Hoek, W., Meyer, J.-J.C.: Formalising Motivational Attitudes of Agents: On Preferences, Goals, and Commitments. In: Tambe, M., Müller, J., Wooldridge, M.J. (eds.) IJCAI-WS 1995 and ATAL 1995. LNCS (LNAI), vol. 1037, pp. 17–32. Springer, Heidelberg (1996)

    Google Scholar 

  21. McCarthy, J., Hayes, P.: Some Philosophical Problems from the Standpoint of Artificial Intelligence. Machine Intelligence 4, 463–502 (1969)

    MATH  Google Scholar 

  22. Moore, R.: A Formal Theory of Knowledge and Action. In: Hobbs J., Moore, R. (eds.): Formal Theories of the Commonsense World, Ablex, pp. 319–358 (1985)

    Google Scholar 

  23. Owre, S., Rajan, S., Rushby, J., Shankar, N., Srivas, M.: PVS: Combining specification, proof checking, and model checking. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, pp. 411–414. Springer, Heidelberg (1996)

    Google Scholar 

  24. Plotkin, G.: A Structural Approach to Operational Semantics. Technical Report DAIMI-FN-19, Computer Science Dept., Aarhus University, Denmark (1981)

    Google Scholar 

  25. Rao, A., Georgeff, M.: Modeling Rational Agents within a BDI-architecture. In: Fikes, R., Sandewall, E. (eds.): Proc. of KR&R, vol. 91, pp. 473–484 (1991)

    Google Scholar 

  26. Reiter, R.: The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In: Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in the Honor of John McCarthy, San Diego, CA. Academic Press, London (1991)

    Google Scholar 

  27. Reiter, R.: Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)

    MATH  Google Scholar 

  28. Sadek, M.: Communication Theory = Rationality Principles + Communicative Act Models. In: Proc. of AAAI 1994 Workshop on Planning for Interagent Comm. (1994)

    Google Scholar 

  29. Sardiña, S., Shapiro, S.: Rational Action in Agent Programs with Prioritized Goals. In: Proc. of AAMAS 2003, pp. 417–424 (2003)

    Google Scholar 

  30. Scherl, R., Levesque, H.: Knowledge, Action, and the Frame Problem. In: Artificial Intelligence, vol. 144(1-2) (2003)

    Google Scholar 

  31. Shapiro, S.: Specifying and Verifying Multiagent Systems Using CASL. PhD Thesis. Dept. of Computer Science, University of Toronto. In: Preparation (2004)

    Google Scholar 

  32. Shapiro, S., Lespérance, Y.: Modeling Multiagent Systems with the Cognitive Agents Specification Language - A Feature Interaction Resolution Application. In: Castelfranchi, C., Lespérance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol. 1986, pp. 244–259. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  33. Shapiro, S., Lespérance, Y., Levesque, H.: The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems. In: Castelfranchi, C., Johnson, W. (eds.) Proc. of AAMAS 2002, pp. 19–26 (2002)

    Google Scholar 

  34. Shapiro, S., Lespérance, Y., Levesque, H.: Specifying Communicative Multi-Agent Systems with ConGolog. In: AAAI Fall, Symp. on Comm. Act. in Humans and Machines, pp. 75–82 (1997)

    Google Scholar 

  35. Singh, M.P.: Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications. LNCS (LNAI), vol. 799. Springer, Heidelberg (1994)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, York University, Toronto, ON, M3J 1P3, Canada

    Shakil M. Khan & Yves Lespérance

Authors
  1. Shakil M. Khan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yves Lespérance
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Computer Sciences, Universiteit Utrecht, 3508, Utrecht, The Netherlands

    Rogier M. van Eijk

  2. Leibniz-MAGMA, 46, Avenue Felix Viallet, P.O. Box, 38031, Grenoble, France

    Marc-Philippe Huget

  3. Dept. Information and Computing Sciences, Utrecht University, The Netherlands

    Frank Dignum

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Khan, S.M., Lespérance, Y. (2005). A Model of Rational Agency for Communicating Agents. In: van Eijk, R.M., Huget, MP., Dignum, F. (eds) Agent Communication. AC 2004. Lecture Notes in Computer Science(), vol 3396. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32258-0_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-32258-0_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-25015-9

  • Online ISBN: 978-3-540-32258-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation