Automatically translating logical strategy formulas into cognitive models

Jakob Dirk Top, Rineke Verbrugge, Sujata Ghosh

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

28 Downloads (Pure)


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.
Original languageEnglish
Title of host publicationProceedings of the 16th International Conference on Cognitive Modeling (ICCM 2018)
Editors J. Houpt, I. Juvina, C. Myers
Number of pages6
ISBN (Electronic)978-0-9985082-2-1
Publication statusPublished - 24-Jul-2018
Event16th International Conference on Cognitive Modelling - University of Wisconsin, Madison, WI, Madison, United States
Duration: 21-Jul-201824-Jul-2018


Conference16th International Conference on Cognitive Modelling
Abbreviated titleICCM 2018
CountryUnited States
Internet address


  • formal logics
  • PRIMs
  • trategic reasoning
  • automated model generation

Cite this