Analysis of Cognitive Models in Constraint Handling Rules
Paperback
270 Seiten
ISBN-13: 9783754396780
Verlag: Books on Demand
Erscheinungsdatum: 11.10.2021
Sprache: Englisch
Farbe: Nein
erhältlich als:
inkl. MwSt. / portofrei
Ihr eigenes Buch!
Werden Sie Autor*in mit BoD und erfüllen Sie sich den Traum vom eigenen Buch und E-Book.
Mehr erfahrenIn 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.
Thom Frühwirth (Hrsg.)
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.
Uwe Schöning (Hrsg.)
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.
Es sind momentan noch keine Pressestimmen vorhanden.