Samenvatting
Whereas game theorists and logicians use formal methods to investigate strategic behaviour, cognitive scientists use cognitive models of the human mind to predict and simulate human behaviour. In this paper, we hope to bring these fields together by creating a translation system which, starting from a strategy represented in formal logic, automatically generates a computational model in the PRIMs cognitive architecture. We run such models to generate response times and decisions made in centipede-like games, a subset of dynamic perfect-information games. Our system is a proof-of-concept for generating cognitive models from formal logic, and presents a new method of otherwise laborious model creation.
Originele taal-2 | English |
---|---|
Titel | Proceedings of the 16th International Conference on Cognitive Modeling (ICCM 2018) |
Redacteuren | J. Houpt, I. Juvina, C. Myers |
Pagina's | 182-187 |
Aantal pagina's | 6 |
ISBN van elektronische versie | 978-0-9985082-2-1 |
Status | Published - 24-jul.-2018 |
Evenement | 16th International Conference on Cognitive Modelling - University of Wisconsin, Madison, WI, Madison, United States Duur: 21-jul.-2018 → 24-jul.-2018 http://iccm-conference.org |
Conference
Conference | 16th International Conference on Cognitive Modelling |
---|---|
Verkorte titel | ICCM 2018 |
Land/Regio | United States |
Stad | Madison |
Periode | 21/07/2018 → 24/07/2018 |
Internet adres |