Skip to main content
SpringerLink
Log in

Modelling Internal Dynamic Behaviour of BDI Agents

  • Conference paper
  • First Online:
Formal Models of Agents (ModelAge 1997)

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

Included in the following conference series:

Abstract

A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and revision of beliefs and motivational attitudes are modelled in a compositional manner within the modelling framework DESIRE.

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

  • Bratman, M.A. (1987). Intentions, Plans, and Practical Reason, Harvard University Press, Cambridge, MA.

    Google Scholar 

  • Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R. and Treur, J. (1995). Formal specification of Multi-Agent Systems: a real-world case. In: V. Lesser (Ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS-95, MIT Press, Cambridge, MA, pp. 25–32.

    Google Scholar 

  • Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R. and Treur, J. (1997). DESIRE: modelling multi-agent systems in a compositional formal framework, International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (Eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, to appear.

    Google Scholar 

  • Brazier, F.M.T., Dunin-Keplicz, B., Treur, J., Verbrugge, R. (1997) A generic BDI architecture. Technical Report, Department of Mathematics and Computer Science Vrije Universiteit Amsterdam.

    Google Scholar 

  • Brazier, F.M.T., Treur, J. (1996). Compositional modelling of reflective agents. In: B.R. Gaines, M.A. Musen (Eds.), Proc. of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW’96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, pp. 23-1–13-12.

    Google Scholar 

  • Brazier, F.M.T., Jonker, C.M., Treur, J., (1997). Formalisation of a cooperation model based on joint intentions. In: Proc. of the ECAI’96 Workshop on Agent Theories, Architures and Languages, ATAL’96. In: J.P. Muller, M.J. Wooldridge, N.R. Jennings, Intelligent Agents III, Lecture Notes in AI, vol. 1193, Springer Verlag, 1997, pp. 141–156.

    Google Scholar 

  • Brazier, F.M.T., Treur, J., Wijngaards, N.J.E. and Willems, M. (1996). Temporal semantics of complex reasoning tasks. In: B.R. Gaines, M.A. Musen (Eds.), Proc. of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW’95, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, pp. 15-1–15-17

    Google Scholar 

  • Castelfranchi, C. (1995). Commitments: From individual intentions to groups and organizations. In: V. Lesser (Ed.), Proc. of the First International Conference on Multi-Agent Systems, ICMAS-95, MIT Press, Cambridge, MA, pp. 41–48.

    Google Scholar 

  • Cohen, P.R. and Levesque, H.J. (1990). Intention is choice with commitment, Artificial Intelligence 42, pp. 213–261.

    MathSciNet  MATH  Google Scholar 

  • Dennett, D. (1987). The Intentional Stance, MIT Press, Cambridge, MA.

    Google Scholar 

  • Dunin-Keplicz, B. and Treur, J. (1995). Compositional formal specification of multi-agent systems. In: M. Wooldridge and N.R. Jennings, Intelligent Agents, Lecture Notes in Artificial Intelligence, Vol. 890, Springer Verlag, Berlin, pp. 102–117.

    Google Scholar 

  • Dunin-Keplicz, B. and Verbrugge, R. (1996). Collective commitments. To appear in: Proceedings of the Second International Conference on Multiagent Systems, ICMAS-96.

    Google Scholar 

  • Fagin, R., Halpern, J., Moses, Y. and Vardi, M. (1995). Reasoning about Knowledge. Cambridge, MA, MIT Press.

    MATH  Google Scholar 

  • Jennings, N.R. (1995). Controlling cooperative problem solving in industrial multi-agent systems using joint intentions, Artificial Intelligence 74(2).

    Google Scholar 

  • Kinny, D., Georgeff, M.P., Rao, A.S. (1996). A Methodology and Technique for Systems of BDI Agents. In: W. van der Velde, J.W. Perram (Eds.), Agents Breaking Away, Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’96, Lecture Notes in AI, vol. 1038, Springer Verlag, pp. 56–71

    Google Scholar 

  • Pannekeet, J.H.M., Philipsen, A.W. and Treur, J. (1992). Designing compositional assumption revision, Report IR-279, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1991. Shorter version in: H. de Swaan Arons et al., Proc. Dutch AIConference, NAIC-92, 1992, pp. 285–296.

    Google Scholar 

  • Rao, A.S. (1996). AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: W. van der Velde, J.W. Perram (eds.), Agents Breaking Away, Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’96, Lecture Notes in AI, vol. 1038, Springer Verlag, pp. 42–55.

    Google Scholar 

  • Rao, A.S. and Georgeff, M.P. (1991). Modeling rational agents within a BDI architecture. In: R. Fikes and E. Sandewall (eds.), Proceedings of the Second Conference on Knowledge Representation and Reasoning, Morgan Kaufman, pp. 473–484.

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  • Shoham, Y. (1991). Implementing the intentional stance. In: R. Cummins and J. Pollock (eds.), Philosophy and AI, MIT Press, Cambridge, MA, 1991, pp. 261–277.

    Google Scholar 

  • Shoham, Y. and Cousins, S.B. (1994). Logics of mental attitudes in AI: a very preliminary survey. In: G. Lakemeyer and B. Nebel (eds.) Foundations of Knowledge Representation and Reasoning, Springer Verlag, pp. 296–309.

    Google Scholar 

  • Tan, Y.H. and Treur, J. (1992). Constructive default logic and the control of defeasible reasoning, Report IR-280, Vrije Universiteit Amsterdam, Department of Mathematics and Computer Science, 1991. Shorter version in: B. Neumann (ed.), Proc. 10th European Conference on Artificial Intelligence, ECAI’92, Wiley and Sons, 1992, pp. 299–303.

    Google Scholar 

  • Velde, W. van der and J.W. Perram J.W. (Eds.) (1996). Agents Breaking Away, Proc. 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW’96, Lecture Notes in AI, vol. 1038, Springer Verlag.

    Google Scholar 

  • Wooldridge, M. and Jennings, N.R. (1995). Agent theories, architectures, and languages: a survey. In: M. Wooldridge and N.R. Jennings, Intelligent Agents, Lecture Notes in Artificial Intelligence, Vol. 890, Springer Verlag, Berlin, pp. 1–39.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Artificial Intelligence Group, Vrije Universiteit Amsterdam, De Boelelaan 1081a, 1081 HV, Amsterdam, The Netherlands

    Frances Brazier, Jan Treur & Rineke Verbrugge

  2. Institute of Informatics, Warsaw University, ul. Banacha 2, 02-097, Warsaw, Poland

    Barbara Dunin-Keplicz

Authors
  1. Frances Brazier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Barbara Dunin-Keplicz
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jan Treur
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Rineke Verbrugge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Utrecht University, Padualaan 14, De Uithof, 3508 TB, Utrecht, The Netherlands

    John-Jules Ch. Meyer

  2. Institut d’Informatique, Rue Grandgagnage 21, 5000, Namur, Belgium

    Pierre-Yves Schobbens

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brazier, F., Dunin-Keplicz, B., Treur, J., Verbrugge, R. (1999). Modelling Internal Dynamic Behaviour of BDI Agents. In: Meyer, JJ.C., Schobbens, PY. (eds) Formal Models of Agents. ModelAge 1997. Lecture Notes in Computer Science(), vol 1760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46581-2_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-46581-2_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67027-8

  • Online ISBN: 978-3-540-46581-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation