Abstract
In the last five years multi-agent systems have been a major focus of research in AI. The concept of agents, in particular the role of agents as participants in multi-agent systems, has been subject to discussion. In [Wooldridge and Jennings, 1995] different notions of strong and weak agency are presented. In other contexts big and small agents have been distinguished [Velde and Perram, 1996]. In this paper, a model for a rational agent is proposed: a rational agent described using cognitive notions such as beliefs, desires and intentions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
M.A. Bratman. Intentions, Plans, and Practical Reason, Harvard University Press, Cambridge, MA, 1987.
F.M.T. Brazier, B. Dunin-Keplicz, N.R. Jennings and J. Treur. 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, 25–32, 1995.
F.M.T. Brazier, B. Dunin-Keplicz, N.R. Jennings and J. Treur. DESIRE: modelling multi-agent systems in a compositional formal framework. International Journal of Cooperative Information Systems,M. Huhns and M. Singh (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, 6, 67–94, 1997.
F.M.T. Brazier, C.M. Jonker and J. Treur. 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. Müller, M.J. Wooldridge and N.R. Jennings,Intelligent Agents III,Lecture Notes in AI, 1193 Springer Verlag, 141–156, 1997. Extended version in International Journal of Cooperative Information Systems,9 171–207, 2000
F.M.T. Brazier and J. Treur. Compositional modelling of reflective agents. International Journal of Human-Computer Studies, 50, 407–431, 1999.
F.M.T. Brazier, J. Treur, N.J.E. Wijngaards and M. Willems. Temporal semantics of compositional task models and problem solving methods. Data and Knowledge Engineering,29 17–42, 1999.
F.M.T. Brazier, C.M. Jonker and J. Treur. Compositional design and reuse of a generic agent model. Applied Al Journal,14 491–538, 2000.
C. Castelfranchi. 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, 41–48, 1995.
P.R. Cohen and H.J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42, 213–261, 1990.
D. Dennett. The Intentional Stance, MIT Press, Cambridge, MA, 1987.
B. Dunin-Keplicz and J. Treur. Compositional formal specificationof multi-agent systems. In: M. Wooldridge and N.R. Jennings, Intelligent Agents, Lecture Notes inArtificial Intelligence, 890, Springer Verlag, Berlin, 102–117, 1995.
B. Dunin-Keplicz and R. Verbrugge. Collective commitments.In: proceedings of the Second International Conference on Multiagent Systems, ICMAS-96, 1996.
R. Fagin, J. Halpem, Y. Moses and M. Vardi. Reasoning about Knowledge.Cambridge, MA, MIT Press, 1995.
N.R. Jennings. Controlling cooperative problem solving in industrial multi-agent systems using joint intentions. Artificial Intelligence, 74 (2), 1995.
D. Kinny, M.P. Georgeff and A.S. Rao. A Methodology and Technique for Systems of BDI Agents. In: W. van der Velde and 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,1038 Springer Verlag, 56–71, 1996.
J.H.M. Pannekeet, A.W. Philipsen and J. Treur.Designing compositional assumption revision,Report IR-279, Department of Mathematics and Computer Science, Vrije Universiteit Amsterdam, 1991. Shorter version in: H. de Swan Arons et al.,Proc. Dutch AI-Conference,NAIC-92,285–296, 1992.
A.S. Rao. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language. In: W. van der Velde and 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, 1038, Springer Verlag, 42–55, 1996.
A.S. Rao and M.P. Georgeff. 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, 473–484, 1991.
Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60, 51–92, 1993.
Y. Shoham. Implementing the intentional stance. In: R. Cummins and J. Pollock (eds.), Philosophy and AI, MIT Press, Cambridge, MA, 261–277, 1991.
Y. Shoham and S.B. Cousins. 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, 296–309, 1994.
Y.H. Tan and J. Treur. 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, 299–303, 1992.
W. van der Velde and 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, 1038, Springer Verlag, 1996.
M. Wooldridge and N.R. Jennings. Agent theories, architectures, and languages: a survey. In: M. Wooldridge and N.R. Jennings, Intelligent Agents, Lecture Notes in Artificial Intelligence, 890, Springer Verlag, Berlin, 1–39, 1995. + In: P.Y. Schobbens and A. Cesta (eds.), Proc. Third International Workshop on Formal Models of Agents, MODELAGE’97,Lecture Notes in AI, Springer Verlag, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Brazier, F.M.T., Dunin-Keplicz, B., Treur, J., Verbrugge, R. (2001). Modelling Internal Dynamic Behaviour of BDI Agents. In: Meyer, JJ.C., Treur, J. (eds) Dynamics and Management of Reasoning Processes. Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol 6. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1743-4_16
Download citation
DOI: https://doi.org/10.1007/978-94-017-1743-4_16
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5903-1
Online ISBN: 978-94-017-1743-4
eBook Packages: Springer Book Archive