Analysis of Cognitive Models in Constraint Handling Rules

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.

Author: Daniel Gall
Publisher: Books on Demand
Published: 10/11/2021
Pages: 270
Binding Type: Paperback
Weight: 1.07lbs
Size: 9.69h x 7.44w x 0.57d
ISBN13: 9783754396780
ISBN10: 3754396781
BISAC Categories:
- Computers | Programming | General

This title is not returnable