Wissensrepräsentation

• Vorlesung:
Di. 14:15 - 15:45 in O 27 / 124 und
Do. 12:00 - 13:30 in O 27 / 124
Werner Nutt
Sprechstunde: nach Vereinbarung

• Übungen:
Mi. 12:00 - 13:30 in O 27 / 124

Martin Strecker
Sprechstunde: nach Vereinbarung

• Teil 1.1 (Einführung - Wissensbasierte Dokumenterzeugung, eine Fallstudie)
• Teil 1.2 (Einführung - Motivation)
• Teil 2.1 (Grundlagen - Grundlagen der propositionalen Logik)
• Teil 2.2 (Grundlagen - Polynomiale Klassen propositionaler Logik)
• Teil 2.3 (Grundlagen - Prädikatenlogik 1. Stufe)
• Teil 2.4 (Grundlagen - Grundlagen propositionaler Modallogik)
• Teil 2.5 (Grundlagen - Komplexität und Wissensrepräsentation)
• Teil 3.1 (Semantische Netze und Frames - Geschichte)
• Teil 3.2 (Semantische Netze und Frames - Strikte Vererbung)
• Teil 4.1 (Beschreibungslogiken - Begriffsbeschreibungssprachen)
• Teil 4.2 (Beschreibungslogiken - Systemdienste)
• Teil 4.3 (Beschreibungslogiken - Algorithmen)
• Teil 4.4 (Beschreibungslogiken - Entscheidbarkeit und Komplexität)
• Teil 4.5 (Beschreibungslogiken - Epistemische Operatoren)
• Teil 4.6 (Beschreibungslogiken - Anwendungen und Systeme)
• Teil 5.1 (Qualitatives Schließen - Einführung)
• Teil 5.2 (Qualitatives Schließen - Constraint Satisfaction)
• Teil 5.3 (Qualitatives Schließen - Allens Intervallkalkül)
• Teil 6.1 (Nichtmonotones Schließen - Einführung und Defaultlogik)
• Teil 6.2 (Nichtmonotones Schließen - Defaultlogik: weitere Eigenschaften)

Übungsaufgaben

• Blatt 1
• Blatt 2
• Blatt 3
• Blatt 4
• Blatt 5
• Blatt 6
• Blatt 7
• Blatt 8
• Blatt 9

Musterlösungen

• Musterlösung zu Blatt 1
• Musterlösung zu Blatt 2
• Musterlösung zu Blatt 3
• Musterlösung zu Blatt 4
• Musterlösung zu Blatt 5
• Musterlösung zu Blatt 6 mit Loom-Code
• Musterlösung zu Blatt 7
• Musterlösung zu Blatt 8
• Musterlösung zu Blatt 9

Technisches

 

Typ:	Vorlesung im Hauptstudium (4V / 2Ü)
Zuordnung:	Angewandte Informatik oder Theoretische und mathematische Methoden der Informatik (Kernfach)  Künstliche Intelligenz (Vertiefungsgebiet)