TU Wien:Nichtmonotones Schließen VU (Tompits)

Aus VoWi
Zur Navigation springen Zur Suche springen

Daten[Bearbeiten | Quelltext bearbeiten]

Vortragende Hans Tompits
ECTS 3
Alias Nonmonotonic Reasoning (en)
Letzte Abhaltung 2021W
Sprache English
Mattermost nichtmonotones-schlie-enRegisterMattermost-Infos
Links tiss:184188
Zuordnungen
E066011 Wahlmodul Lehrveranstaltungen an der TU Wien
Masterstudium Logic and Computation Wahlmodul Knowledge Representation and Artificial Intelligence


Inhalt[Bearbeiten | Quelltext bearbeiten]

Default Logik, autoepistemische Logik, div. andere nichtmonotone Logiken

Ablauf[Bearbeiten | Quelltext bearbeiten]

Die LVA wird wie eine Vorlesung abgehalten, es gibt mehrere Blocktermine zu je drei Stunden.

Benötigte/Empfehlenswerte Vorkenntnisse[Bearbeiten | Quelltext bearbeiten]

Theoretische Informatik und Logik ist ein Muss, Logik für Wissensrepräsentation kann helfen.

Vortrag[Bearbeiten | Quelltext bearbeiten]

Der Vortrag ist sehr "locker" gestaltet (viele, zT kuriose Beispiele) und bezieht die Teilnehmer mit ein.

Übungen[Bearbeiten | Quelltext bearbeiten]

Gibt es keine.

Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]

WS2011: sehr human, wer in der Vorlesung war und sich die Folien 2-3 mal durchliest schafft die Prüfung locker

Zeitaufwand[Bearbeiten | Quelltext bearbeiten]

mit Vorlesungsbesuch und halbwegsem Vorwissen aus TIL: gering-mittel

Unterlagen[Bearbeiten | Quelltext bearbeiten]

Es gibt im TUWIS++ verlinkte Folien.

WS10: Folien

Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]

noch offen