Abstract
In this paper, we present a new logic for specifying the behaviour of multi-agent systems. In this logic, agents are viewed as BDI systems, in that their state is characterised in terms of beliefs, desires, and intentions: the semantics of the BDI component of the logic are based on the well-known system of Rao and Georgeff. In addition, agents have available to them a library of plans, representing their ‘know-how’: procedural knowledge about how to achieve their intentions. These plans are, in effect, programs, that specify how a group of agents can work in parallel to achieve certain ends. The logic provides a rich set of constructs for describing the structure and execution of plans. Some properties of the logic are investigated, (in particular, those relating to plans), and some comments on future work are presented.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
B. Chellas. Modal Logic: An Introduction. Cambridge University Press: Cambridge, England, 1980.
P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.
E. A. Emerson and J. Y. Halpern. 'sometimes’ and ‘not never’ revisited: on branching time versus linear time temporal logic. Journal of the ACM, 33(1):151–178, 1986.
M. P. Georgeff and A. L. Lansky. Reactive reasoning and planning. In Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI-87), pages 677–682, Seattle, WA, 1987.
D. Harel. Dynamic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic Volume II — Extensions of Classical Logic, pages 497–604. D. Reidel Publishing Company: Dordrecht, The Netherlands, 1984. (Synthese library Volume 164).
C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21:666–677, 1978.
D. Kinny, M. Ljungberg, A. S. Rao, E. Sonenberg, G. Tidhar, and E. Werner. Planned team activity. In C. Castelfranchi and E. Werner, editors, Artificial Social Systems — Selected Papers from the Fourth European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW-92 (LNAI Volume 830), pages 226–256. Springer-Verlag: Heidelberg, Germany, 1992.
A. S. Rao and M. Georgeff. BDI Agents: from theory to practice. In Proceedings of the First International Conference on Multi-Agent Systems (ICMAS-95), pages 312–319, San Francisco, CA, June 1995.
A. S. Rao and M. P. Georgeff. Modeling rational agents within a BDI-architecture. In R. Fikes and E. Sandewall, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-91), pages 473–484. Morgan Kaufmann Publishers: San Mateo, CA, April 1991.
A. S. Rao and M. P. Georgeff. An abstract architecture for rational agents. In C. Rich, W. Swartout, and B. Nebel, editors, Proceedings of Knowledge Representation and Reasoning (KR&R-92), pages 439–449, 1992.
A. S. Rao and M. P. Georgeff. Formal models and decision procedures for multi-agent systems. Technical Note 61, Australian AI Institute, Level 6, 171 La Trobe Street, Melbourne, Australia, June 1995.
A. S. Rao, M. P. Georgeff, and E. A. Sonenberg. Social plans: A preliminary report. In E. Werner and Y. Demazeau, editors, Decentralized AI 3 — Proceedings of the Third European Workshop on Modelling Autonomous Agents in a Multi-Agent World (MAAMAW-91), pages 57–76. Elsevier Science Publishers B.V.: Amsterdam, The Netherlands, 1992.
D. A. Schmidt. Denotational Semantics. Allyn and Bacon: Newton, MA, 1986.
C. Stirling. Completeness results for full branching time logic. In REX School-Workshop on Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Noordwijkerhout, Netherlands, 1988.
M. Wooldridge. Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 279–283, Amsterdam, The Netherlands, 1994.
M. Wooldridge and N. R. Jennings. Intelligent agents: Theory and practice. The Knowledge Engineering Review, 10(2):115–152, 1995.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wooldridge, M. (1996). Practical reasoning with procedural knowledge. In: Gabbay, D.M., Ohlbach, H.J. (eds) Practical Reasoning. FAPR 1996. Lecture Notes in Computer Science, vol 1085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61313-7_108
Download citation
DOI: https://doi.org/10.1007/3-540-61313-7_108
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61313-8
Online ISBN: 978-3-540-68454-1
eBook Packages: Springer Book Archive