Abstract
Computational cognitive models can embody the structures and processes proposed in a cognitive theory. However, they do not necessarily reveal the theory’s underlying assumptions and specifications. This study aims to bridge the gap between cognitive theory and its computational implementation, focus- ing on a case of mental model theory on human reasoning. Using a mathematics-based and statically-typed programming language (Haskell), we provide a specification-aware compu- tational implementation of syllogistic reasoning with mental models.
Original language | English |
---|---|
Title of host publication | Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015) |
Place of Publication | Groningen, the Netherlands: University of Groningen |
Pages | 31-36 |
Number of pages | 6 |
Publication status | Published - 1 Jan 2015 |
Event | Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015) - Groningen, the Netherlands, 2015 Duration: 1 Jan 2015 → … |
Conference
Conference | Proceedings of the13th International Conference on Cognitive Modeling (ICCM 2015) |
---|---|
Period | 1/01/15 → … |