Uni-Logo

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.