Logical and Psychological Analysis of Deductive Mastermind

Logic & Cognition Workshop at ESSLLI 2012

Nina Gierasimczuk1, Han van der Maas2, and Maartje Raijmakers2

Others  :  http://ceur-ws.org/Vol-883/paper1.pdf
PID  :  43422

来源: CEUR

【 摘 要 】

The paper proposes a way to analyze logical reasoning in adeductive version of the Mastermind game implemented within the Math Garden educational system. Our main goal is to derive predictions about the cognitive diculty of game-plays, e.g., the number of steps needed for solving the logical tasks or the working memory load. Our model is based on the analytic tableaux method, known from proof theory. We associate the diculty of the Deductive Mastermind game-items with the size of the corresponding logical tree derived by the tableau method. We dis- cuss possible empirical hypotheses based on this model, and preliminary results that prove the relevance of our theory.