Modul: Deklarative Problemlösung und Optimierung

Inhalte

Deklarative Problemlösungsverfahren verwenden allgemeine Problemlösungsmethoden zur automatischen Lösung (meist kombinatorischer) Probleme. Im Gegensatz zur traditionellen Programmierung werden keine Programme zur Lösung erstellt, sondern lediglich die Ausgangsprobleme (formal) modelliert. Allgemeine Problemlösungssysteme sind heutzutage in der Lage Probleme in der Größenordnung mehrerer Millionen Variablen zu lösen. Die resultierenden Systeme werden mittlerweile in der Industrie, aber auch den Naturwissenschaften vielerorts eingesetzt. Motivation, Einführung grundlegende Modellierungstechniken, Instantiierungsmethoden und -algorithmen, formale Charakterisierungen, Lösungsmethoden und -algorithmen, Optimierungsmethoden und -algorithmen, deklarative Problemlösungssysteme, erweiterte Modellierungstechniken, Anwendung zur Modellierung naturwissenschaftlicher Probleme. 

Qualifikationsziele

Die Studierenden

• sind in der Lage, die Besonderheiten, Grenzen, Terminologien und Lehrmeinungen auf dem Gebiet des Deklarativen Problemlösens und Optimierens zu definieren und zu interpretieren. Das Wissen und Verstehen der Studierenden bildet die Grundlage für die Entwicklung und Anwendung eigenständiger Ideen auf dem Gebiet des Deklarativen Problemlösens und Optimierens in forschungsorientierter Hinsicht.
• verfügen über ein breites, detailliertes und kritisches Verständnis auf dem neuesten Stand des Wissens in ausgewählten Spezialbereichen auf dem Gebiet des Deklarativen Problemlösens und Optimierens
• sind in der Lage ihr Wissen und Verstehen sowie ihre Fähigkeiten zur Problemlösung auch in neuen und unvertrauten Situationen anzuwenden, die in einem breiteren oder multidisziplinären Zusammenhang auf dem Gebiet des Deklarativen Problemlösens und Optimierens stehen. 

Klausur, 90 Minuten

Testat (ca. 45-60 min) (50 %)

WiSe