Notes and Reading - Lecture #8

Lecture #8 discussed logics for multi-agent systems.

Notes

Notes are available in two formats (note that the numbering on the slides diverges from my numbering of the lectures).

Reading

This lecture covered Chapter 12 of the textbook. You should read through Chapter 12 in detail.

The readings for this lecture are:

The Belief-Desire-Intention Model of Agency, Michael Georgeff, Barney Pell, Martha Pollack, Milind Tambe, Michael Wooldridge Proceedings of the 5th International Workshop on Intelligent Agents V : Agent Theories, Architectures, and Languages (ATAL-98)
which summarises different views of the BDI model (you can find it on Citeseer), and:
M. Wooldridge. Practical Reasoning with Procedural Knowledge: A Logic of BDI Agents with Know-How. In D. M. Gabbay and H.-J. Ohlbach, editors, Proceedings of the International Conference on Formal and Applied Practical Reasoning. Springer-Verlag, June 1996.
which is a nice example of a BDI logic. You can download it from the author's homepage.