Project: Cognitive Modelling (for Cognitive Systems)
Constraint programming combines declarative programming with efficient problem solving techniques in particular mathematical optimization und artificial intelligence. It is a subject of active research which already showcases a substantial number of industrial applications.
Programming will be done in Prolog or Java with Constraint Handling Rules (CHR). A Prolog-based version of CHR can be tried online.
Students will learn basic understanding and knowledge on principles and practice of constraint programming. This will be applied and deepened in terms of a comprehensive project in which students learn to use constraint programming for modeling and solving of a problem.
Previous knowledge of CHR is advantageous but not required.
The project deals with the popular production rule system ACT-R. It is the implementation of a rule-based theory of human cognition. There are numerous implementations of ACT-R and models using ACT-R.
The rule-based programming language Constraint Handling Rules (CHR) is a powerful rule-based formalism and programming languages. There is a translation of ACT-R models to CHR. Due to the clear semantics and the strong formal background, the implementation in CHR allows for computational analysis of cognitive models.
In the project, some features of ACT-R that are used to model learning (and forgetting) shall be integrated into the plain CHR language and evaluated by implementing some example models.