Skip to main content
SpringerLink
Log in

This is myworld: The logic of an Agent-Oriented DAI testbed

  • Conference paper
  • First Online:
Intelligent Agents (ATAL 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 890))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. F. Allen. Towards a general theory of action and time. Artificial Intelligence, 23(2):123–154, 1984.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, 42:213–261, 1990.

    Google Scholar 

  4. I. Craig. Formal Specification of Advanced AI Architectures. Ellis Horwood: Chichester, England, 1991.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. N. Francez. Fairness. Springer-Verlag: Heidelberg, Germany, 1986.

    Google Scholar 

  8. P. Gärdenfors. Knowledge in Flux. The MIT Press: Cambridge, MA, 1988.

    Google Scholar 

  9. M. R. Genesereth and N. Nilsson. Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers: San Mateo, CA, 1987.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. R. Goodwin. Formalizing properties of agents. Technical Report CMU-CS-93-159, School of Computer Science, Carnegie-Mellon University, Pittsburgh, PA, May 1993.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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).

    Google Scholar 

  14. C. B. Jones. Systematic Software Development using VDM (second edition). Prentice Hall, 1990.

    Google Scholar 

  15. K. Konolige. A Deduction Model of Belief. Pitman Publishing: London and Morgan Kaufmann: San Mateo, CA, 1986.

    Google Scholar 

  16. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag: Heidelberg, Germany, 1992.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

  19. 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.

    Google Scholar 

  20. 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.

    Google Scholar 

  21. N. Seel. Agent Theories and Architectures. PhD thesis, Surrey University, Guildford, UK, 1989.

    Google Scholar 

  22. Y. Shoham. Agent-oriented programming. Artificial Intelligence, 60(1):51–92, 1993.

    Google Scholar 

  23. 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).

    Google Scholar 

  24. M. Wooldridge. Coherent social action. In Proceedings of the Eleventh European Conference on Artificial Intelligence (ECAI-94), pages 279–283, Amsterdam, The Netherlands, 1994.

    Google Scholar 

  25. 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).

    Google Scholar 

  26. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Manchester Metropolitan University, Chester Street, M1 5GD, Manchester, UK

    Michael Wooldridge

Authors
  1. Michael Wooldridge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michael J. Wooldridge Nicholas R. Jennings

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation