| Uitgebreide vaknaam |
Logical Aspects of Multi-agent Systems |
| Leerdoelen |
At the end of the course, the student is able to apply epistemic logic tools to distributed systems and multi-agent systems. |
| Omschrijving |
Epistemic logic is the logic of knowledge: how do you reason about what you know and what others know? This logic seems to be crucial in describing negotiations in economics, parallel processors in computer science and multiagent systems in artificial intelligence. Epistemic logic is also technically interesting: it has beautiful semantics. The lectures will deal with the following subjects: axiomatic systems and Kripke semantics for knowledge of multiple actors (agents); application to distributed systems; general knowledge, common knowledge and distributed knowledge; extension of epistemic logic with modal operators for beliefs, desires and intentions. |
| Uren per week |
|
| Onderwijsvorm |
Hoorcollege (LC), Opdracht (ASM), Werkcollege (T)
|
| Toetsvorm |
Opdracht (AST), Presentatie (P)
(The average weighted grade between the exercise grades, the project grade, and the project presentation grade needs to be at least 5.5.)
|
| Vaksoort |
master
|
| Coördinator |
PhD. Z.L. Christoff
|
| Docent(en) |
PhD. Z.L. Christoff
|
| Verplichte literatuur |
| Titel |
Auteur |
ISBN |
Prijs |
| Epistemic Logic for AI and Computer Science, Cambridge Tracts in Computer Science No. 41, Cambridge University Press, paperback edition 2004 |
J.-J. Ch. Meyer en W. van der Hoek |
0521602807 |
ca.
€
60,00
|
| Study guides Epistemic Logic, downloadable from Nestor |
Rineke Verbrugge |
|
|
|
| Entreevoorwaarden |
Please note that the student is expected to have a relevant BSc degree.
The course unit assumes prior knowledge of propositional logic (from Introduction to Logic) and modal logic (from Advanced Logic). |
| Opmerkingen |
This course unit has a capacity limit. More information about capacity-limit courses can be found here. This course has an intended limit of 60 participants. |
| Opgenomen in |
|
Login
English
Nederlands