| Uitgebreide vaknaam |
Logical Aspects of Multi-agent Systems |
| Leerdoelen |
Familiarity with epistemic logic and the development of skills in applying this logic to distributed systems and multiagent 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)
|
| Toetsvorm |
Opdracht (AST), Presentatie (P)
(Weekly assignments, a presentation and an implementation assignment.)
|
| Vaksoort |
master
|
| Coördinator |
prof. dr. L.C. Verbrugge
|
| Docent(en) |
prof. dr. L.C. Verbrugge
|
| 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 |
9780521602808 |
ca.
€
60,00
|
| Study guides Epistemic Logic, downloadable from Nestor |
Rineke Verbrugge |
|
|
|
| Entreevoorwaarden |
Advanced Logic, or comparable knowledge (please discuss this with the lecturer) |
| 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.
This course was registered last year with course code WMAI19003 |
| Opgenomen in |
|
Login
English
Nederlands