Universität Ulm
,
Fakultät für Informatik
,
Abtl. Künstliche Intelligenz
up:
Vorlesungsunterlagen
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)
Abtl. KI Startseite
Hilfe
Mail an Webmaster
Marko Luther - 23. Feb. 1998