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

2019S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Der Student erhält einen vertiefenden Einblick in die Methoden des nichtmonotonen Schließens.

Didaktisches Vorgehen:

  • Vorlesungsteil mit Frontalvortrag
  • Übungsteil: Ausarbeitung eines Vortrags inkl. Literaturrecherche.

Inhalt der Lehrveranstaltung

Nichtmonotones Schließen umfaßt die Analyse und Formalisierung von rationalen Schlüssen. Solche Schlüsse sind dadurch charakterisiert, daß Aussagen hergeleitet werden, die zwar bezüglich des momentanen Wissensstandes plausibel erscheinen, aber bei Erhalt genauerer Informationen sich als falsch herausstellen können (daher der Name "nichtmonoton"!). Im täglichen Leben sind wir mit Ähnlichem konfrontiert: Es existiert kaum eine Situation, in der wir alle relevanten Informationen besitzen, trotzdem sind wir in der Lage "rasch" Entscheidungen zu treffen. Klassische Logik besitzt nicht die Eigenschaft der Nicht-Monotonie. Wenn sich eine Aussage aus einem gewissen Wissensstand herleiten läßt, kann man diese Aussage auch bei jedem Anwachsen dieses Wissenstandes herleiten (schlimmstenfalls wird das Wissen inkonsistent). Rationale Schlüsse versuchen die Konsistenz zu erhalten.

Nichtmonotone Logiken wurden Anfang der Achziger Jahre des 20. Jahrhunderts postuliert und stellen eine wichtige Basis zur Realisierung wissensbasierter Systeme dar. Weiters stehen Nichtmonotone Logiken in einem engen Zusammenhang zu gewissen Semantiken des logischen Programmierens mit negation-as-failure.

Weitere Informationen

Achtung:

  • Beginn: 13.3.
  • Die VO entfällt am 24.4.!

ECTS breakdown: 3 ECTS = 75 Hours

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

Vortragende

Institut

Leistungsnachweis

  • exercises
  • oral exam

LVA-Anmeldung

Nicht erforderlich

Curricula

Literatur

Slides are available for download.

Vorausgehende Lehrveranstaltungen

Begleitende Lehrveranstaltungen

Vertiefende Lehrveranstaltungen

Sprache

Englisch