184.188 Nichtmonotones Schließen
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2021W, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

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

Lernergebnisse

Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage sind Studierende in der Lage unterschiedliche Nichtmonotone Logiken zu benennen und zu erläutern, sowie theoretische Zusammenhänge korrekt zu argumentieren.

Inhalt der Lehrveranstaltung

Nonmonotonic reasoning deals with the analysis and formalisation of rational conclusions. Such conclusions are characterised by the feature that they are defeasible, i.e., that they can be invalidated by new information. This is in contrast to classical logic where the conclusion of a set of premisses remains derivable even if the premisses are arbitrarily enlarged (and reasoning may reduce to triviality because of the well-known classical principle of ex falso sequitur quodlibet, which allows the derivation of any conclusion from inconsistent premisses). Rational conclusions, however, try to retain consistency.

In this course, we discuss several nonmonotonic formalisms, their basic properties and proof-theoretical axiomatisations.

Methoden

Frontalvortrag und Übungen in den Teilnehmer einen Vortrag zu einem gegebenen Thema erarbeiten und präsentieren müssen.

Prüfungsmodus

Prüfungsimmanent

Weitere Informationen

Attention:

  • This semester, the lecture will be given as a distance course with live sessions using the BigBlueButton system (access information will be given separately). Slides will be made available in pdf format in TISS.
  • Lecture times and start of lecture TBA.

ECTS breakdown: 3 ECTS = 75 Hours

  • Lecture 15h
  • Lecture introduction 0.5h
  • Solving the exercises 10h
  • Preparing the presentation 20h
  • Presentation of exercises solutions and talks 9h
  • Preparation for exam 20h
  • Oral exam 0.5h

Vortragende Personen

Institut

Leistungsnachweis

Mündliche Prüfung und Bewertung des Übungsteils.

LVA-Anmeldung

Von Bis Abmeldung bis
12.09.2021 23:55 01.11.2021 23:55 01.11.2021 23:55

Anmeldemodalitäten

TISS Ort: Web

Curricula

Literatur

Slides are available for download.

Vorausgehende Lehrveranstaltungen

Begleitende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Sprache

Englisch