Automatically translating logical strategy formulas into cognitive models
Proceedings of ICCM 2018 - 16th International Conference on Cognitive Modeling
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 perfectinformation 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.
Top, Jakob Dirk; Verbrugge, Rineke; and Ghosh, Sujata, "Automatically translating logical strategy formulas into cognitive models" (2018). Conference Articles. 116.