Analysis of Cognitive Models in Constraint Handling Rules - Softcover

Gall, Daniel

Softcover

ISBN 10: 3754396781 ISBN 13: 9783754396780

Publisher: Books on Demand, 2021

Synopsis

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.

Edition details

• Publisher: Books on Demand
• Publication date: 2021
• Language: English
• ISBN 10: 3754396781
• ISBN 13: 9783754396780
• Binding: Paperback
• Edition number: 1
• Number of pages: 270
• Editor: Frühwirth Thom, Schöning Uwe