An automated method for building cognitive models for turn-based games from a strategy logic

DOI10.3390/g9030044zbMath1418.91073OpenAlexW2813065737MaRDI QIDQ1630453

Rineke Verbrugge, Sujata Ghosh, Jakob Dirk Top

Publication date: 10 December 2018

Published in: Games (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3390/g9030044

zbMATH Keywords

logiccomputational cognitive modelingturn-based games

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Games in extensive form (91A18) Logics of knowledge and belief (including belief change) (03B42) Rationality and learning in game theory (91A26) Experimental studies (91A90)

Cites Work

• Logic and social cognition. The facts matter, and so do computational models
• Models of strategic reasoning. Logics, games, and communities
• Logic and reasoning: do the facts matter?
• Formal models for real people
• Axiomatic characterization of the AGM theory of belief revision in a temporal logic
• Games of perfect information, predatory pricing and the chain-store paradox
• Evolution of altruistic punishment in heterogeneous populations
• Non-commutative logic. I: The multiplicative fragment
• Strategic reasoning: building cognitive models from logical formulas
• Statistical physics of human cooperation
• Games in Dynamic-Epistemic Logic
• Strategies in Games: A Logic-Automata Study
• Rationalizable Strategic Behavior and the Problem of Perfection
• Dynamic logic for belief revision
• An Experimental Study of the Centipede Game
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An automated method for building cognitive models for turn-based games from a strategy logic