TU Wien:Nichtmonotones Schließen VU (Tompits)
Zur Navigation springen
Zur Suche springen
Daten
[Bearbeiten | Quelltext bearbeiten]| Vortragende | Hans Tompits |
|---|---|
| ECTS | 3,0 |
| Alias | Nonmonotonic Reasoning (en) |
| Letzte Abhaltung | 2024S |
| Sprache | English |
| Mattermost | nichtmonotones-schlie-en • Register • Mattermost-Infos |
| Links | tiss:184188 |
| Masterstudium Logic and Computation | Modul Knowledge Representation and Artificial Intelligence (Gebundenes Wahlfach) |
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