Predicting Cognitive Difficulty of the Deductive Mastermind Game with Dynamic Epistemic Logic Models

Deductive Mastermind is a deductive reasoning game that is implemented in the online educational game system Math Garden. A good understanding of the difficulty of Deductive Mastermind game instances is essential for optimizing the learning experience of players. The available empirical difficulty ratings, based on speed and accuracy, provide robust estimations but do not explain why certain game instances are easy or hard. In previous work a...