Department of Information and Computing Sciences

Departement Informatica Onderwijs
Bachelor Informatica Informatiekunde Kunstmatige intelligentie Master Computing Science Game&Media Technology Artifical Intelligence Human Computer Interaction Business Informatics

Onderwijs Informatica en Informatiekunde

Vak-informatie Informatica en Informatiekunde

Deontic logic

Studiepunten:7.5 ECTS
Periode:periode 34 (week 6 t/m 26, d.w.z. 4-2-2020 t/m 26-6-2020; herkansing week 28)
Deelnemers:tot nu toe 2 inschrijvingen
Rooster:De officiële roosters staan in MyTimetable
college          John-Jules Meyer
Inhoud:Deontic logic is the logic of obligations, prohibitions and permissions. More conceptually, it is the logic of ideal states of affair versus actual states of affair. As such it is a foundation of law, but also of normative systems and normative multi-agent systems, where agents are susceptible to norms while acting. In this course we will see how deontic logic can be viewed as a branch of modal logic. In order to deal with problems of proper representation, such as the infamous paradoxes of deontic logic, researchers have looked for alternative formalisations such as dyadic deontic logic and non-normal modal logic. In this course based on the book mentioned below, we will also look at a very abstract and general way of treating deontic logic, viz. input-output logic as proposed by Makinson and Van der Torre.
Literatuur:Xavier Parent & Leendert van der Torre, Introduction to Deontic Logic and Normative Systems
Inspanningsverplichting voor aanvullende toets:Om aan de aanvullende toets te mogen meedoen moet de oorspronkelijke uitslag minstens 4 zijn.