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
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

Vermittlung des Lehrinhaltes durch Frontalvortrag.

Achtung:

• Die VO ist als Präsenzlehrveranstaltung geplant mit einem möglichen Wechsel in einen Onlinemodus abhängig von der COVID Situation.
• Geplanter Beginn der VO: 17.10, 13:00, im Seminarraum Gödel.

ECTS Aufschlüsselung: 3 ECTS = 75 Stunden

• Vorlesung 24h
• Einführung 0.5h
• Prüfungsvorbereitung 50h
• Mündliche Prüfung 0.5h

Mündliche Prüfung.

Folien werden zum download zur Verfügung gestellt werden.