Automatically translating logical strategy formulas into cognitive models

Document Type

Conference Article

Publication Title

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.

First Page


Last Page


Publication Date


This document is currently not available here.