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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
constraint handling rules
adaptive control of thought rational
analysis of actr models
embedding actr models into chr
confluence criterion for actr
list of figures
list of publications
Other editions - View all
abstract semantics ACT-R ACT-R models action actual additional information allows analysis appear applicable approach architecture B-property buffer built-in constraints called Chapter CHR program chunk store clear cognitive models combination computation confluence modulo equivalence congruence relation considered consists contains corresponding criterion decidable defined definition denote derivation described directly discussed effects elements embedding example exists final formal function global goal ground Hence holds idea implementations instance interface interpretation introduced invariant invariant-based confluence joinable language leads Lemma logical maintain matching means methods minimal extensions monotonicity necessary Note object operational equivalence operational semantics overlap pairs partial possible program analysis Proof reasoning reduced reference representation represented request respect restriction rule rule application satisfy shown slot split substitution symbols term terminating Theorem theory thesis transition system translation user-defined equivalence relations values variables