Next Article in Journal
Cooperation and Strategic Complementarity: An Experiment with Two Voluntary Contribution Mechanism Games with Interior Equilibria
Previous Article in Journal
Dynamic Contributions to a Public Project: The Impact of Rising Marginal Benefit and Completion Benefits
Previous Article in Special Issue
Buying Optimal Payoffs in Bi-Matrix Games
Article Menu

Export Article

Open AccessArticle
Games 2018, 9(3), 44;

An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic

Department of Artificial Intelligence, Bernoulli Institute of Mathematics, Computer Science and Artificial Intelligence, University of Groningen, PO Box 407, 9700 AK Groningen, The Netherlands
Computer Science Unit, Indian Statistical Institute, 110 Nelson Manickam Road, Chennai 600029, India
Author to whom correspondence should be addressed.
Received: 18 May 2018 / Revised: 2 July 2018 / Accepted: 4 July 2018 / Published: 6 July 2018
(This article belongs to the Special Issue Logic and Game Theory)
Full-Text   |   PDF [495 KB, uploaded 6 July 2018]   |  


Whereas game theorists and logicians use formal methods to investigate ideal strategic behavior, many cognitive scientists use computational cognitive models of the human mind to predict and simulate human behavior. In this paper, we aim to bring these fields closer together by creating a generic translation system which, starting from a strategy for a turn-based game represented in formal logic, automatically generates a computational model in the Primitive Information Processing Elements (PRIMs) cognitive architecture, which has been validated on various experiments in cognitive psychology. The PRIMs models can be run and fitted to participants’ data in terms of decisions, response times, and answers to questions. As a proof of concept, we run computational modeling experiments on the basis of a game-theoretic experiment about the turn-based game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We run such models starting from logical representations of several strategies, such as backward induction and extensive-form rationalizability, as well as different player types according to stance towards risk and level of theory of mind. Hereby, response times and decisions for such centipede-like games are generated, which in turn leads to concrete predictions for future experiments with human participants. Such precise predictions about different aspects, including reaction times, eye movements and active brain areas, cannot be derived on the basis of a strategy logic by itself: the computational cognitive models play a vital role and our generic translation system makes their construction more efficient and systematic than before. View Full-Text
Keywords: logic; computational cognitive modeling; turn-based games logic; computational cognitive modeling; turn-based games

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).

Share & Cite This Article

MDPI and ACS Style

Top, J.D.; Verbrugge, R.; Ghosh, S. An Automated Method for Building Cognitive Models for Turn-Based Games from a Strategy Logic. Games 2018, 9, 44.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Related Articles

Article Metrics

Article Access Statistics



[Return to top]
Games EISSN 2073-4336 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top