The logical modelling of computational multi-agent systems

  title={The logical modelling of computational multi-agent systems},
  author={Michael Wooldridge},
THE aim of this thesis is to investigate logical formalisms for describing, reasoning about, specifying, and perhaps ultimately verifying the properties of systems composed of multiple intelligent computational agents. There are two obvious resources available for this task. The first is the (largely AI) tradition of reasoning about the intentional notions (belief, desire, etc.). The second is the (mainstream computer science) tradition of temporal logics for reasoning about reactive systems… CONTINUE READING
83 Citations
177 References
Similar Papers


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

Intention is choice with commitment

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

The AGENT0 manual

  • M. Torrance, P. A. Viola
  • Technical report, Program in Symbolic Systems…
  • 1991
Highly Influential
7 Excerpts

MACE: A flexible testbed for distributed AI research

  • L. Gasser, C. Braganza, N. Hermann
  • M. Huhns, editor, Distributed Artificial…
  • 1987
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…