199.093 Introduction to deontic logic: challenges, formal systems, applications
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2020W, VU, 2.0h, 3.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung
  • Format der Abhaltung: Hybrid

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage...

After successful completion of the course, students are able to understand and explain the

  • motivations, such as the notorious deontic paradoxes,
  • formalisms (traditional modal and alternative norm based approaches),
  • applications (in ethical and legal reasoning, linguistics, multiagent systems)
  • computational aspects.

Inhalt der Lehrveranstaltung

The lecturer of this course will be Leendert (Leon) van der Torre / University of Luxembourg.


Course description

The deontic logic community is an interdisciplinary research eld with a biannual conference since 1991. Interest in deontic logic in artificial intelligence and
computer science has strongly increased lately due to the need to address legal and ethical aspects of new technologies.
A typical deontic logic course is a mix of four components, which can each be handled in more or less detail depending on the interests and background of
the audience:

  • 1. motivations, such as the notorious deontic paradoxes,
  • 2. formalisms (traditional modal and alternative norm based approaches),
  • 3. applications (in ethical and legal reasoning, linguistics, multiagent systems)
  • 4. computational aspects.

Methoden

The lectures will be interactive presentations and in class exercises.

The structure will be as follows:

1. standard deontic logic and the search for a new standard (1): paradoxes, actions 2. standard deontic logic and the search for a new standard (2): nonmonotonic logic 3. unconstrained input/output logic 4. constrained input/output logic 5. formal argumentation and deontic logic 6. permission in input/output logic 7. rights and actions 8. common framework for standard deontic logic and input/output logic

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

This is a visiting professor course of the Vienna PhD School of Informatics.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.10:00 - 12:0005.10.2020 - 19.10.2020EI 3A Hörsaal Introduction to deontic logic: challenges, formal systems, applications
Do.10:00 - 13:0008.10.2020 - 15.10.2020EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Do.10:00 - 13:0022.10.2020EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Di.09:00 - 11:0027.10.2020EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Do.10:00 - 13:0029.10.2020EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Introduction to deontic logic: challenges, formal systems, applications - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.05.10.202010:00 - 12:00EI 3A Hörsaal Introduction to deontic logic: challenges, formal systems, applications
Do.08.10.202010:00 - 13:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Mo.12.10.202010:00 - 12:00EI 3A Hörsaal Introduction to deontic logic: challenges, formal systems, applications
Do.15.10.202010:00 - 13:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Mo.19.10.202010:00 - 12:00EI 3A Hörsaal Introduction to deontic logic: challenges, formal systems, applications
Do.22.10.202010:00 - 13:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Di.27.10.202009:00 - 11:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications
Do.29.10.202010:00 - 13:00EI 1 Petritsch HS Introduction to deontic logic: challenges, formal systems, applications

Leistungsnachweis

Information to be announced as soon as possible.

LVA-Anmeldung

Von Bis Abmeldung bis
18.09.2020 00:00 05.10.2020 23:59

Anmeldemodalitäten:

Please register in TISS.

Gruppen-Anmeldung

GruppeAnmeldung VonBis
Group 120.10.2020 15:15

Curricula

Literatur

Recommended literature:

We wrote a textbook in 2018 which I use for my course on deontic logic at the master in computer science, which focuses on the logical aspects of the formalisms that are discussed in the course. It is freely available online:
https://www.collegepublications.co.uk/TLR/?00001

In addition, the handbook of deontic logic in computer science (first volume 2018, second volume 2020) will be used for background reading and the source for the paradoxes and applications in law and ethics.
https://collegepublications.co.uk/handbooks/?00001
Concerning the computational aspects, we can use Isabelle/HOL and an article that is to appear in AI Journal: https://arxiv.org/abs/1903.10187

All material is open access. Additional material can be supplied in case of specific interests.

Vorkenntnisse

This course is complementary to the one of Guido Governatori (guest lecture from the past year), but that course is not a prerequisite for the one here.

A general knowledge of (propositional) logic will be necessary, and a general knowledge of modal logic will be an advantage, but not strictly necessary.

Weitere Informationen

  • Anwesenheitspflicht!

Sprache

Englisch