Modul: Advanced Problem Solving Techniques

Qualifikationsziele

Die Studierenden sind in der Lage, die Besonderheiten, Grenzen, Terminologien und Lehrmeinungen auf dem Gebiet des Deklaratives Problemlösens zu definieren und zu interpretieren. Das Wissen und Verstehen der Studierenden bildet die Grundlage für die Entwicklung und/oder Anwendung eigenständiger Ideen auf dem Gebiet des Deklarativen Problemlösens in forschungsorientierter Hinsicht. Die Studierenden 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. Die Studierenden 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 stehen.

Inhalte

Die Lehrveranstaltung widmet sich den Grundlagen, Algorithmen, Systemen und der Anwendung deklarativer Problemlösungsverfahren. Deklarative Problemlösungsverfahren verwenden allgemeine Problemlösungsmethoden zur automatischen Lösung (meist kombinatorischer) Probleme. Dazu zählen etwa Design, Diagnose, Handlungs- und Stundenplanung, Konfiguration, uvm. Im Gegensatz zur traditionellen Programmierung werden keine Programme zur Lösung erstellt, sondern lediglich die Ausgangsprobleme (formal) modelliert. 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 Natur- und Sprachwissenschaften eingesetzt.

Klausur, 90 Minuten

2-3 Testate und hierzu mündliche Rücksprache (15 Minuten)

Dokumentation (5 Seiten)

WiSe