Projekt: Regelbasierte und Constraint-Programmierung

Die Constraint-Programmierung verbindet deklaratives Programmieren mit effizienten Problemlösungstechniken, insbesondere aus der mathematischen Optimierung und der Künstlichen Intelligenz. Es handelt sich um ein aktuelles Forschungsgebiet, das bereits eine beachtliche Zahl industrieller Anwendungen vorweisen kann.

In diesem Projekt wird in Prolog oder Java mit Constraint Handling Rules (CHR) programmiert. Eine Prolog-basierte Version von CHR kann online ausprobiert werden.

Die Studierenden sollen grundlegendes Verständnis und Kenntnisse über Prinzipien und Verfahren der Constraint-Programmierung erhalten. Diese sollen im Rahmen eines umfangreichen Projekts angewandt und vertieft werden. Die Studierenden sollen dabei lernen die Constraint-Programmierung für die Modellierung und das Lösen einer Problemstellung einzusetzen.

Vorkenntnisse in CHR sind von Vorteil, werden aber nicht vorausgesetzt.

• Besuch einer einschlägigen Vorlesung im Bereich Constraint- und regelbasierte Programmierung.