Projekt Cognitive Modelling


First meeting: Tuesday, 2017-10-17 at 14:30 in O27/411.

If you have questions, write an e-mail to Daniel Gall. The deadline registration for the project will be 2017-10-22.

Constraint programming combines declarative programming with efficient problem solving techniques in particular mathematical optimization and 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.

Topic for this Semester

Computational Psychology is a research field that combines psychology and computer science. Pychological models of cognitive processes like memory, vision or deduction are implemented in computational models that can be analyzed and simulated. The results of the simulations can be compared to results of experimental psyhcology to improve the computational models and gain more knowledge about the underlying cognitive processes.

The project deals with the popular cognitive architecture ACT-R. It is a computational model of a rule-based theory of human cognition. There are many cognitive models using ACT-R. However, from the computational point of view ACT-R lacks a formalization and therefore analysis techniques for computational features like confluence or complexity.

Constraint Handling Rules (CHR) is a powerful rule-based programming language and formalism that features many analysis techniques. There is an implementation of ACT-R in CHR that can be used for computational analysis. In recent work, a confluence test for ACT-R based on the CHR implementation has been proposed.

The goal of the project is to implement this confluence test with a web-based interface.