Die Vorbesprechung findet am Donnerstag, den 17. Oktober, um 14-16 Uhr im Raum O27/121 statt.

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 und der Eclipse Umgebung sind von Vorteil, werden aber nicht vorausgesetzt.

Dieses Projekt ist teil des Projektmoduls Constraint-Programmierung, zu dem auch die beiden Vorlesungen Constraint-Programmierung und Regelbasierte Programmierung gehören.

Computational Psychology bezeichnet ein neueres Forschungsfeld zwischen Psychologie und Informatik, in dem psychologische Modelle von kognitiven Vorgängen wie Erinnern, Sehen, Schließen, mit Computerhilfe implementiert, analysiert und simuliert werden, und die Ergebnisse dieser Simulationen mit den Ergebnissen aus der experimentellen Psychologie verglichen werden, um so neue Erkenntnisse zu gewinnen über die zugrunde liegenden kognitiven Vorgänge und ihre Modelle.

Das Projekt beschäftigt sich mit einem in populären Produktionsregelsystem der Kognitionswissenschaften, ACT-R. Dabei handelt es sich um eine Computerumsetzung einer regel-basierten Theorie der menschlichen Kognition. Für ACT-R existieren zahlreiche Implementierungen und Modelle, die in wissenschaftlichen Publikationen und oft Online dokumentiert und aufgearbeitet sind. Anderseits gibt es in der Informatik mit Constraint Handling Rules (CHR) einen mächtigen regel-basierten Ansatz, mit dem ebenfalls ACT-R-Modelle implementiert werden könnten. Der Vorteil ist ein fundierteres Verständnis der Modelle aufgrund der klaren Semantik von CHR, sowie die Anwendung der vielfältigen Analysemethoden, die CHR zu Verfügung stellt. Es existiert bereits eine Implementierung der grundlegenden Konzepte der ACT-R-Theorie in CHR, die einen Compiler von ACT-R-Modellen zu CHR-Regeln enthält. Im Rahmen des Projekts sollen einige komplexere Beispielmodelle von ACT-R in CHR implementiert werden sowie Erweiterungen für einen existierenden Compiler entwickelt werden.