TU Wien:Nichtmonotones Schließen VU (Tompits)

Daten

• LVA-Leiter: Hans Tompits
• ECTS: 3 (SWS: 2)
• Institut: Institut für Informationssysteme, Abteilung für wissensbasierte Systeme
• Wahlfach für das Masterstudium Computational Intelligence (931)
• Wahlfach für das Masterstudium Information & Knowledge Management (933)

Inhalt

Default Logik, autoepistemische Logik, div. andere nichtmonotone Logiken

Ablauf

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

Benötigte/Empfehlenswerte Vorkenntnisse

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

Vortrag

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

Übungen

Gibt es keine.

Prüfung, Benotung

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

Zeitaufwand

mit Vorlesungsbesuch und halbwegsem Vorwissen aus TIL: gering-mittel

Unterlagen

Es gibt im TUWIS++ verlinkte Folien.

WS10: Folien

• Materialien

Verbesserungsvorschläge / Kritik

noch offen