Abstract
In this paper, we describe a framework for specifying communicative multi-agent systems, using a theory of action based on the situation calculus to describe the effects of actions on the world and on the mental states of agents; and the concurrent, logic programming language ConGolog to specify the actions performed by each agent. Since ConGolog has a well-defined semantics, the specifications can be used to reason about the behavior of individual agents and the system as a whole. We extend the work presented in [7] to allow the specifications to mention agents’ goals explicitly. The framework presented here allows the behavior of different agents to be specified at different levels of abstraction, using a rich set of programming language constructs. As an example, we specify a meeting scheduler multi-agent system.
This research received financial support from the Information Technology Research Centre (Ontario, Canada), the Institute for Robotics and Intelligent Systems (Canada), and the Natural Sciences and Engineering Research Council (Canada). We thank Wayne Wobcke for helpful comments on an earlier version of this paper.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Philip R. Cohen and Hector J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.
Michael Fisher. Towards a semantics for Concurrent MetateM. In Michael Fisher and Richard Owens, editors, Executable Modal and Temporal Logics. Springer-Verlag: Heidelberg, Germany, 1995.
Giuseppe De Giacomo. Concurrency (notes). Unpublished manuscript, 1996.
Giuseppe De Giacomo, Yves Lespérance, and Hector J. Levesque. Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence (IJCAI-97), pages 1221–1226, Yokohama, Japan, 1997.
C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall Int., 1985.
Gerhard Lakemeyer and Hector J. Levesque. AOL: a logic of acting, sensing, knowing, and only knowing. In Proceedings of Knowledge Representation and Reasoning (KR&R-98), 1998. To appear.
Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, and Richard B. Scherl. Foundations of a logical approach to agent programming. In Michael Wooldridge, Jörg P. Müller, and Milind Tambe, editors, Intelligent Agents II: Agent Theories, Architectures, and Languages (LNAI Volume 1037), pages 331–346. Springer-Verlag: Heidelberg, Germany, 1996.
Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, and Richard B. Scherl. GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming, 31:59–84, 1997.
Fangzhen Lin and Raymond Reiter. State constraints revisited. Journal of Logic and Computation, 4(5):655–678, 1994.
John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 4. Edinburgh University Press, 1969.
Sheila A. McIlraith. Towards a Formal Account of Diagnostic Problem Solving. PhD thesis, Department of Computer Science, University of Toronto, Toronto, ON, 1997.
Robert C. Moore. A formal theory of knowledge and action. In Jerry R. Hobbs and Robert C. Moore, editors, Formal Theories of the Common Sense World, pages 319–358. Ablex Publishing, Norwood, NJ, 1985.
Javier Pinto and Raymond Reiter. Adding a time line to the situation calculus. In The Second Symposium on Logical Formalizations of Commonsense Reasoning, pages 172–177, Nagoya, Japan, 1993.
Anand S. Rao and Michael P. Georgeff. Modeling rational agents within a BDI-architecture. In Richard Fikes and Eric Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473–484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.
Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380. Academic Press, San Diego, CA, 1991.
Raymond Reiter. Proving properties of states in the situation calculus. Artificial Intelligence, pages 337–351, December 1993.
Raymond Reiter. Natural actions, concurrency and continuous time in the situation calculus. In Proceedings of Knowledge Representation and Reasoning (KR&R-96), pages 2–13, 1996.
Richard B. Scherl and Hector J. Levesque. The frame problem and knowledge-producing actions. In Proceedings of the Eleventh National Conference on Artificial Intelligence, pages 689–695, Washington, DC, July 1993. AAAI Press/The MIT Press.
Munindar P. Singh. Multiagent Systems: A Theoretical Framework for Intentions, Know-How, and Communications (LNAI Volume 799). Springer-Verlag: Heidelberg, Germany, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shapiro, S., Lespérance, Y., Levesque, H.J. (1998). Specifying communicative multi-agent systems. In: Wobcke, W., Pagnucco, M., Zhang, C. (eds) Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications. DAI 1997. Lecture Notes in Computer Science, vol 1441. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055016
Download citation
DOI: https://doi.org/10.1007/BFb0055016
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64769-0
Online ISBN: 978-3-540-68722-1
eBook Packages: Springer Book Archive