Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage

• unterschiedliche Logiken bzw. logikbasierte Formalismen zur Wissensrepräsentation zu benennen und zu erläutern,
• Methoden und Techniken für eine vorgegebene Aufgabenstellung zielgerichtet auszuwählen, sowie
• Lösungen und Formalismen kritisch zu bewerten.

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:

1. Einleitung
1. Überblick
2. Logik
2. Wissensrepräsentation mittels klassischer Logik
1. Elemente der Aussagenlogik
2. Aussagenlogik zur  Modellierung von Schließen in der Umgangssprache
3. Elemente der Prädikatenlogik
4. Prädikatenlogik und Umgangssprache
5. Ontologische Aspekte
3. Nichtmonotones Schließen
1. Probleme klassischer Logik
2. Methoden nichtmonotonen Schließens
3. Circumscription
4. Default Logik
4. Parakonsistentes Schließen
5. Modallogik
• Einführung
• Syntax und Semantik
• Elementare Modallogiken

Die Lehrveranstaltung besteht aus einem Vorlesungsteil, in dem der Lehrinhaltes mittels Frontalvortrag vermittelt wird, sowie aus einem Übungsteil. Letzterer beinhaltet folgendes:

• selbständige Erarbeitung von Lösungen gegebener Aufgabenstellungen mittles traditioneller "Kreuzerlübungen",
• Vorrechnen mindestens einer erarbeiteten Lösung mittels Abgabegespräch.

Achtung:

• Am 3.10. findet die VO von 18:00-20:00 statt!
• Am 7.11. entfällt die VO!

Mündliche Abschlußprüfung sowie Beurteilung der Übungen.