This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed

  title={This is MYWORLD: The Logic of an Agent-Oriented DAI Testbed},
  author={Michael Wooldridge},
  booktitle={ECAI Workshop on Agent Theories, Architectures, and Languages},
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… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 26 references

Intention is choice with commitment

  • P. R. Cohen, H. J. Levesque
  • Artificial Intelligence, 42:213–261,
  • 1990
Highly Influential
4 Excerpts

A specification of the Soar cognitive architecture in Z

  • B. G. Milnes
  • Technical Report CMU–CS–92–169, School of…
  • 1992
1 Excerpt

Similar Papers

Loading similar papers…