Wissensrepräsentation ist ein Zweig der künstlichen Intelligenz welches zum Ziel hat, geeignete Methoden zu entwickeln um implizites Wissen über einen bestimmten Bereich so darzustellen, daß es von Computern verarbeitet werden kann. Das Gebiet der Wissensrepräsentation beinhaltet Techniken aus unterschiedlichen Disziplininen, im speziellen aus der Logik und der Ontologie.
In dieser VO werden wir uns mit unterschiedlichen Logiken zur Wissensrepräsentation beschäftigen.
Inhalt:
- Einleitung
- Wissensrepräsentation mittels klassischer Logik
- Elemente der Aussagenlogik
- Aussagenlogik zur Modellierung von Schließen in der Umgangssprache
- Elemente der Prädikatenlogik
- Prädikatenlogik und Umgangssprache
- Ontologische Aspekte
- Nichtmonotones Schließen
- Probleme klassischer Logik
- Methoden nichtmonotonen Schließens
- Circumscription
- Default Logik
- Behandlung inkonsistenten Wissens
- Parakonsistentes Schließen
- Belief Revision
