The Multi-Agent Systems course Epistemic logic is the logic considering knowledge: how do we reason about what we and others know? This logic turns out to be crucial in
describing negotiating in the field of economics, parallel processes in the field of computer science and multi-agent systems in the field of
Artificial Intelligence.
Besides, epistemic logic is technically interesting: it has nice semantics.
This course will cover:
- Axiomatic systems and Kripke-semantics considering knowledge of multiple actors (agents)
- Application on distributed systems
- Common Knowledge
- Distributed Knowledge
- Beliefs
- Extending epistemic logic with modal operators for desire and intentions
This site also contains some projects made by previous participants of this course.
Furthermore, you can find some interesting links to some other websites relating to epistemic logic.
You don't have much knowledge about modal logics?
It might be useful to examine part of the course material covered by the course `Voortgezette Logica' individually.
It won't be difficult to find some students Artificial Intelligence who have participated in this course and are willing to borrow you their course material; and maybe explain some of the tougher concepts if required. You should consider:
- par. 13.1-13.3 and 13.6 in the book "Logica voor Informatici" by Van Benthem et al., editie 2003 (pp. 197-203 en 207-208).
- corresponding units in the supporting workbook: `leereenheid' 5 and 6.
- Especially useful will be to practice these exercises:
- workbook: exc. 5.1, 5.7, 5.9
- book: exc. 13.3
- workbook: exc. 6.22 c), 6.19 c)
It won't be necessary to complete all these assignments before the second class of MAS, but al least make sure to cover par. 13.1-13.3 of the book and corresponding exercise material.
There are also some other books which cover modal logic, for example the chapters about intentional logic in L.T.F. Gamut, Logica, `Taal en Betekenis deel 2', which you can, among others, borrow at the library of Theoretical Philosophy. This book is easier to read, but technically not as in-depth as `Van Benthem'.
Good luck and kind regards,
Rineke Verbrugge and Elske van der Vaart
|