Vorlesungsunterlagen zu Wissensrepräsentation
WS 93/94

Folien zur Vorlesung:

• Teil 1 (Einführung)
• Teil 2 (Propositionale Logik - Grundlagen)
• Teil 3 (Prädikatenlogik - Grundlagen)
• Teil 4 (Komplexitätstheorie und Wissensrepräsentation - Grundlagen)
• Teil 5 (Semantische Netze und Frames - Geschichte)
• Teil 6 (Semantische Netze und Frames - strikte Vererbung)
• Teil 7 (Semantische Netze und Frames - nicht-strikte Vererbung)
• Teil 8 (Semantische Netze und Frames - Terminologische Logiken)
• Teil 9 (Temporale Repräsentation und Allen's Intervallkalkül)
• Teil 10 (Temporale Repräsentation - Situationskalkül)
• Teil 11 (Nicht-monotone Logiken - Einführung und Default-Logik)
• Teil 12 (Nicht-monotone Logiken - Circumscription)
• Teil 13 (Nicht-monotone Logiken - Anwendungen)
• Teil 14 (Nicht-monotones Schließen - eine Metatheorie)