En cours de chargement...
Le nouveau livre en format poche de Virginie Grimaldi
8,90€
Analysis of Cognitive Models in Constraint Handling Rules
Edition en anglais
31,99 €
E-book - PDF
Résumé
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.
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.
Fiche technique
- Date de parution : 28/10/2021
- Editeur : Books on Demand
- ISBN : 978-3-7543-7742-0
- EAN : 9783754377420
- Format : PDF
- Nb. de pages : 270 pages
- Caractéristiques du format PDF
- Pages : 270
- Taille : 1 665 Ko
- Protection num. : pas de protection
À propos des auteurs
Daniel Gall studied computer science at the University of Ulm where he soon developed an interest in programming paradigms, logic programming and theoretical foundations of computer science. He pursued his PhD at the Institute of Software Engineering and Programming Languages in Ulm, where he focused on the interdisciplinary field of computational cognitive modeling and program analysis of rule-based languages.
Currently, he works as a software engineer and team leader of a cloud backend development team. The editor Thom Frühwirth is a professor of Computer Science at the University of Ulm, Germany. He is the designer of the programming language Constraint Handling Rules (CHR) and author of the book by the same name. He has also co-authored two leading textbooks on constraint programming and reasoning. The editor Uwe Schöning is a professor of Theoretical Computer Science at the University of Ulm, Germany.
He introduced the low and high hierarchies to structural complexity theory to describe the internal structure of the complexity class NP. Later, he invented a much-cited SAT-Algorithm. He has also authored several popular textbooks on Logic in Computer Science.
Currently, he works as a software engineer and team leader of a cloud backend development team. The editor Thom Frühwirth is a professor of Computer Science at the University of Ulm, Germany. He is the designer of the programming language Constraint Handling Rules (CHR) and author of the book by the same name. He has also co-authored two leading textbooks on constraint programming and reasoning. The editor Uwe Schöning is a professor of Theoretical Computer Science at the University of Ulm, Germany.
He introduced the low and high hierarchies to structural complexity theory to describe the internal structure of the complexity class NP. Later, he invented a much-cited SAT-Algorithm. He has also authored several popular textbooks on Logic in Computer Science.
Des mêmes auteurs
Analysis of Cognitive Models in Constraint Handling Rules est également présent dans les rayons
Analysis of Cognitive Models in Constraint Handling Rules
31,99 €