Nach positiver Absolvierung der Lehrveranstaltung sind Studierende in der Lage, Resultate aus einigen zentralen Kernthemen der Wissensrepräsentation und des Schließens in diesem Kontext in Theorie und Praxis zu verwenden. Sie sind in der Lage, technische Probleme zu den Aufgabenbereichen theoretisch zu bearbeiten sowie auch praktisch Probleme mit Hilfe von Softwarewerkzeugen der Wissensrepräsentation zu modellieren und zu lösen.
Grundlagen von Formalismen der Wissensrepräsentation.
Themenbereiche (vorläufig): Ansätze zur Änderung von logikbasierten Wissensbasen; Nicht-monotone Formalismen und Logische Programmierung; Planen und Schlussfolgern über Aktionen; Abduktives Schließen; Ausdrucksstärke von Formalismen der Wissensrepräsentation.
Vermittlung des Grundstoffs in Frontalunterricht mit Interaktion, kleine Aufgaben zwischen den Einheiten, Übungsblock mit Aufgaben theoretischer Natur (Analyse von Eigenschaften) und praktische Problemlösung (Planen, kombinatorische Probleme). Dabei wird Hintergrundliteratur herangezogen.
Die Lehrveranstaltungssprache ist Englisch.
Freitag, 9:00h -12:30 (geplant), Seminarraum FAV 01 A
Blockvorlesung im Oktober/November
Beginn: 6. Oktober 2023
ECTS breakdown: 3 ECTS = 75 Hours
- Lecture presentation 0.5h
- Lecture 17.5h
- Further reading 25h
- Discussion of the exercises 1.5h
- Solving the exercises 30h
- Oral exam (if applicable) 0.5h