Kennenlernen wichtiger Logiken zur Wissensrepräsentation.
Didaktisches Vorgehen: Frontalvortrag mittels Folien.
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, sowie mit computationalen Aspekten.
Behandelte Formalismen inkludieren:
- Grundlagen und Aspekte der klassischen Logik (Modellierung der Umgangssprache);
- Ansätze zur Behandlung von Problemen der klassischen Logik (nichtmonotone und parakonsistente Logiken);
- Belief revision;
- logikbasierte Abduktion;
- Komplexitätsfragen;
- quantifizierte Aussagenlogik.
