Logical Aspects of Multi-agent Systems

Faculteit Science and Engineering
Jaar 2021/22
Vakcode WMAI020-05
Vaknaam Logical Aspects of Multi-agent Systems
Niveau(s) master
Voertaal Engels
Periode semester II b
ECTS 5
Rooster rooster.rug.nl

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 Z.L. Christoff, PhD.
Docent(en) Z.L. Christoff, PhD.
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
Opleiding Jaar Periode Type
MSc Artificial Intelligence  (C - Elective Course Units) - semester II b keuze
MSc Artificial Intelligence  (B - Mandatory Course Units Multi-Agent Systems) - semester II b verplicht MAS
MSc Computational Cognitive Science  (C - Elective Course Units) - semester II b keuze
MSc Computing Science: Intelligent Systems and Visual Computing  (Guided choice course units) - semester II b keuze
MSc Computing Science: Software Engineering and Distributed Systems  (Guided choice course units) - semester II b keuze