Knowledge Representation and Reasoning - Overview
Dozenten: Prof. Dr. Bernhard Nebel, Dr. Stefan Wölfl und Dr. Julien Hué
Übungen: Dr. Matthias Westphal
Termine
Vorlesung: Mittwochs 08:00-10:00 und Freitags 08:00-09:00
Übungen: Freitags 09:00-10:00
Ort
Vorlesung: Gebäude 52, Hörsaal 02-017
Übungen: Gebäude 52, Hörsaal 02-017
Vorlesungsinhalt
Die Vorlesung bietet eine detaillierte Einführung in die Techniken, die die Grundlage fortgeschrittener Systeme zur Wissensrepräsentation und zum automatischen Schlussfolgern bilden. Im Einzelnen behandeln wir:
- Klassische Logik (Wiederholung) und Modallogiken,
- zeitliches und räumliches Schließen in Allens Intervallalgebra und dem Regionzusammenhangskalkül RCC-8,
- nicht-monotones Schließen (Default-Logik, kumulative Logik, nicht-monotone Logikprogramme) sowie
- Beschreibungslogiken.
Voraussetzungen
Die Veranstaltung richtet sich an fortgeschrittene Informatik- bzw. ACS-Studenten, also etwa Bachelor-Studenten im letzten Studienjahr und Master-Studenten mit Vorwissen in formaler Logi k.
Gute Kenntnisse in (Aussagen-)Logik sind von Vorteil. Aus der theoretischen Informatik sollte man die wesentlichen Konzepte der Komplexitätstheorie (NP-Vollständigkeit, polynomielle Reduktionen) und der Entscheidbarkeitstheorie (unentscheidbare Probleme, Turing-Reduktion) mitbringen.
Klausur und Übungen
Während des Semesters sind wöchentlich Übungsaufgaben (mit theoretischen Übungen bzw. kleineren Implementierungsprojekten) zu bearbeiten. Für die Zulassung an der Abschlussprüfung wird vorausgesetzt, dass 50% der möglichen Punkte erzielt wurden.
Aufgaben und Projekte können in Gruppen von je zwei Studenten bearbeitet werden. Größere Gruppen und abgeschriebene oder kopierte Lösungen werden nicht akzeptiert und führen im Wiederholungsfall zur Nichtzulassung zur Abschlussprüfung.
Vorlesungsmaterial
Die Vorlesungsfolien werden im Laufe des Semesters auf der Vorlesungsseite bereit gestellt. Weiterführende und ergänzende Texte zu den Inhalten der Vorlesung werden in der Vorlesung angegeben. Es gibt kein Buch oder Skript zur Vorlesung.
Die Vorlesung wird nicht aufgezeichnet.