Abstract
The ultimate goal of the work presented in this article is to develop practical frameworks for formally reasoning about multi-agent systems. Such frameworks are particularly important, as multi-agent approaches are inherently complex, and are already being applied in safety-critical domains such as air traffic control. The article is in three parts. The first contains an informal overview of MyWorld, a testbed for experimentation in Distributed Artificial Intelligence (DAI). A MyWorld system contains a number of concurrently executing agents, each of which is programmed along the lines proposed by Shoham in his Agent-Oriented Programming (AOP) proposal [22]. The second part of the article contains a detailed formal model of MyWorld, which rigorously defines the possible states and state transitions of MyWorld agents. The third part develops a logic that can be used to represent the properties of MyWorld systems; this logic is closely related to the formal model of MyWorld, in that the histories traced out in the execution of a system are used as the semantic basis for the logic. We comment on the applications of the logic, and conclude by indicating areas for future work.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23(2):123–154, 1984.
H. Barringer, R. Kuiper, and A. Pnueli. A really abstract concurrent model and its temporal logic. In Proceedings of the Thirteenth ACM Symposium on the Principles of Programming Languages, pages 173–183, 1986.
P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.
I. Craig. Formal Specification of Advanced AI Architectures. Ellis Horwood: Chichester, England, 1991.
M. Fisher. Towards a semantics for Concurrent MetateM. In M. Fisher and R. Owens, editors, Executable Modal and Temporal Logics. Springer-Verlag: Heidelberg, Germany, 1995.
M. Fisher and M. Wooldridge. Specifying and verifying distributed intelligent systems. In M. Filgueiras and L. Damas, editors, Progress in Artificial Intelligence — Sixth Portuguese Conference on Artificial Intelligence (LNAI Volume 727), pages 13–28. Springer-Verlag: Heidelberg, Germany, October 1993.
N. Francez. Fairness. Springer-Verlag: Heidelberg, Germany, 1986.
P. Gärdenfors. Knowledge in Flux. The MIT Press: Cambridge, MA, 1988.
M. R. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers: San Mateo, CA, 1987.
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.
R. Goodwin. Formalizing properties of agents. Technical Report CMU-CS-93-159, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, May 1993.
J. Y. Halpern and Y. Moses. A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence, 54:319–379, 1992.
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. B. Jones. Systematic Software Development using VDM (second edition). Prentice Hall, 1990.
K. Konolige. A Deduction Model of Belief. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA, 1986.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag: Heidelberg, Germany, 1992.
B. G. Milnes. A specification of the Soar cognitive architecture in Z. Technical Report CMU-CS-92-169, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, August 1992.
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.
S. Rosenschein and L. P. Kaelbling. The synthesis of digital machines with provable epistemic properties. In J. Y. Halpern, editor, Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge, pages 83–98. Morgan Kaufmann Publishers: San Mateo, CA, 1986.
N. Seel. Agent Theories and Architectures. PhD thesis, Surrey University, Guildford, UK, 1989.
Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.
M. Wooldridge. The Logical Modelling of Computational Multi-Agent Systems. PhD thesis, Department of Computation, UMIST, Manchester, UK, October 1992. (Also available as Technical Report MMU-DOC-94-01, Department of Computing, Manchester Metropolitan University, Chester St., Manchester, UK).
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. Temporal belief logics for modelling distributed artificial intelligence systems. In G. M. P. O'Hare and N. R. Jennings, editors, Foundations of Distributed Artificial Intelligence. John Wiley & Sons: Chichester, England, 1995. (To appear).
M. Wooldridge and D. Vandekerckhove. MyWorld: An agent-oriented testbed for distributed artificial intelligence. In S. M. Deen, editor, Proceedings of the 1993 Workshop on Cooperating Knowledge Based Systems (CKBS-93), pages 263–274. DAKE Centre, University of Keele, UK, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wooldridge, M. (1995). This is myworld: The logic of an Agent-Oriented DAI testbed. In: Wooldridge, M.J., Jennings, N.R. (eds) Intelligent Agents. ATAL 1994. Lecture Notes in Computer Science, vol 890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58855-8_10
Download citation
DOI: https://doi.org/10.1007/3-540-58855-8_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58855-9
Online ISBN: 978-3-540-49129-3
eBook Packages: Springer Book Archive