Download or read book Analysis of Cognitive Models in Constraint Handling Rules written by Daniel Gall and published by BoD – Books on Demand. This book was released on 2021-10-11 with total page 272 pages. Available in PDF, EPUB and Kindle. Book excerpt: Computational cognitive modeling explores cognition by building computational models for cognitive processes, mechanisms and representations. Currently, implementations of cognitive models lack a formal foundation. This inhibits analysis. In this thesis, the cognitive architecture Adaptive Control of Thought - Rational (ACT-R) is formalized and embedded into the rule-based programming language Constraint Handling Rules (CHR). The powerful analytical methods of CHR, particularly confluence analysis, are extended by reasoning modulo equivalence relations. The results are applied to the domain of cognitive modeling.