Abstract
This paper describes an approach for reasoning about the interactions of multiple agents in moderately complex environments.
The semantics of Belief Desire Intention (BDI) agents has been investigated by many researchers and the gap between theoretical specification and practical design is starting to be bridged. However, the research has concentrated on single-agent semantics rather than multi-agent semantics and has not emphasised the semantics of the environment and its interaction with the agent.
This paper describes a class of simple BDI agents and uses a recently introduced logic of actions to provide semantics for these agents independent of the environment in which they may be embedded. The same logic is used to describe the semantics of the environment itself and the interactions between the agent and the environment. As there is no restriction on the number of agents the environment may interact with, the approach can be used to address the semantics of multiple interacting agents.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Philip E. Agre. Computational research on interaction and agency. Artificial Intelligence, 72(1):1–52, January 1995. Introduction to special double volume of Artificial Intelligence volumes 72, 73.
Ronen I. Brafman and Moshe Tennenholtz. Belief ascription and mental-level modelling. In Jon Doyle, Erik Sandewall, and Pietro Torasso, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '94), Bonn, Germany, 1994. Morgan Kaufmann Publishers.
M. E. Bratman. Intentions, Plans, and Practical Reason. Harvard University Press, Cambridge, MA, 1987.
M.P. Georgeff. Planning. In Annual Review of Computer Science, volume 2, pages 359–400. Annual Reviews, Inc., Palo Alto, California, 1987.
F. Giunchiglia, L. Spalazzi, and P. Traverso. Planning with failure. In Proceedings Second International Conference on AI Planning Systems (AIPS-94), Chicago, 1994.
F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, 7(6), 1992.
V. Lifschitz. Frames in the space of situations. Artificial Intelligence, 46:365–376, 1990.
D. N. Morley and E. A. Sonenberg. A logic for concurrent events and action failure. In Norman Foo and Randy Goebel, editors, Topics in Artificial Intelligence, Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI'96), Lecture Notes in Artificial Intelligence, Volume 1114, pages 483–494, Cairns, Australia, August 1996. Springer-Verlag.
A. S. Rao and M. P. Georgeff. BDI agents: From theory to practice. In Proceedings of the International Conference on Multi-Agent Systems (ICMAS-95), San Francisco, USA, 1995.
Anand S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In Walter Van de Velde and John W. Perram, editors, AgentsBreaking Away, Lecture Notes in Artificial Intelligence, Volume 1038, pages 42–55. Springer-Verlag, 1996.
Lenhart K. Schubert. Explanation closure, action closure, and the Sandewall test suite for reasoning about change. Journal of Logic and Computation, 4(5):679–700, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Morley, D. (1997). Semantics of BDI agents and their environment. In: Cavedon, L., Rao, A., Wobcke, W. (eds) Intelligent Agent Systems Theoretical and Practical Issues. IAS 1996. Lecture Notes in Computer Science, vol 1209. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-62686-7_32
Download citation
DOI: https://doi.org/10.1007/3-540-62686-7_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62686-2
Online ISBN: 978-3-540-68433-6
eBook Packages: Springer Book Archive