Predicting cognitive difficulty of the deductive mastermind game with dynamic epistemic logic models

Bonan Zhao, Iris van de Pol, Maartje Raijmakers, Jakub Szymanik

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

Abstract

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 logic-based model was proposed that successfully predicted these difficulty ratings. We add to this work by providing a model based on a different logical principle—that of eliminating hypotheses (dynamic epistemic logic) instead of reasoning by cases (analytical tableaux system)—that can predict the empirical difficulty ratings equally well. We show that the informational content of the different feedbacks given in game instances is a core predictor for cognitive difficulty ratings and that this is irrespective of the specific logic used to formalize the game.
Original languageEnglish
Title of host publicationCogSci 2018 - 40th Annual Cognitive Science Society Meeting [Proceedings]
Subtitle of host publicationChanging/Minds
EditorsC. Kalish, M. Rau, J. Zhu
PublisherCognitive Science Society
Pages2789-2794
Number of pages6
ISBN (Electronic)9780991196784
ISBN (Print)9781510872059
Publication statusPublished - 2018

Fingerprint

Feedback

Cite this

Zhao, B., van de Pol, I., Raijmakers, M., & Szymanik, J. (2018). Predicting cognitive difficulty of the deductive mastermind game with dynamic epistemic logic models. In C. Kalish, M. Rau, & J. Zhu (Eds.), CogSci 2018 - 40th Annual Cognitive Science Society Meeting [Proceedings]: Changing/Minds (pp. 2789-2794). [0527] Cognitive Science Society.
Zhao, Bonan ; van de Pol, Iris ; Raijmakers, Maartje ; Szymanik, Jakub. / Predicting cognitive difficulty of the deductive mastermind game with dynamic epistemic logic models. CogSci 2018 - 40th Annual Cognitive Science Society Meeting [Proceedings]: Changing/Minds. editor / C. Kalish ; M. Rau ; J. Zhu. Cognitive Science Society, 2018. pp. 2789-2794
@inproceedings{e3e9a616777d4f2ba7534f1e6242c2ae,
title = "Predicting cognitive difficulty of the deductive mastermind game with dynamic epistemic logic models",
abstract = "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 logic-based model was proposed that successfully predicted these difficulty ratings. We add to this work by providing a model based on a different logical principle—that of eliminating hypotheses (dynamic epistemic logic) instead of reasoning by cases (analytical tableaux system)—that can predict the empirical difficulty ratings equally well. We show that the informational content of the different feedbacks given in game instances is a core predictor for cognitive difficulty ratings and that this is irrespective of the specific logic used to formalize the game.",
author = "Bonan Zhao and {van de Pol}, Iris and Maartje Raijmakers and Jakub Szymanik",
year = "2018",
language = "English",
isbn = "9781510872059",
pages = "2789--2794",
editor = "C. Kalish and M. Rau and J. Zhu",
booktitle = "CogSci 2018 - 40th Annual Cognitive Science Society Meeting [Proceedings]",
publisher = "Cognitive Science Society",

}

Zhao, B, van de Pol, I, Raijmakers, M & Szymanik, J 2018, Predicting cognitive difficulty of the deductive mastermind game with dynamic epistemic logic models. in C Kalish, M Rau & J Zhu (eds), CogSci 2018 - 40th Annual Cognitive Science Society Meeting [Proceedings]: Changing/Minds., 0527, Cognitive Science Society, pp. 2789-2794.

Predicting cognitive difficulty of the deductive mastermind game with dynamic epistemic logic models. / Zhao, Bonan; van de Pol, Iris; Raijmakers, Maartje; Szymanik, Jakub.

CogSci 2018 - 40th Annual Cognitive Science Society Meeting [Proceedings]: Changing/Minds. ed. / C. Kalish; M. Rau; J. Zhu. Cognitive Science Society, 2018. p. 2789-2794 0527.

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

TY - GEN

T1 - Predicting cognitive difficulty of the deductive mastermind game with dynamic epistemic logic models

AU - Zhao, Bonan

AU - van de Pol, Iris

AU - Raijmakers, Maartje

AU - Szymanik, Jakub

PY - 2018

Y1 - 2018

N2 - 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 logic-based model was proposed that successfully predicted these difficulty ratings. We add to this work by providing a model based on a different logical principle—that of eliminating hypotheses (dynamic epistemic logic) instead of reasoning by cases (analytical tableaux system)—that can predict the empirical difficulty ratings equally well. We show that the informational content of the different feedbacks given in game instances is a core predictor for cognitive difficulty ratings and that this is irrespective of the specific logic used to formalize the game.

AB - 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 logic-based model was proposed that successfully predicted these difficulty ratings. We add to this work by providing a model based on a different logical principle—that of eliminating hypotheses (dynamic epistemic logic) instead of reasoning by cases (analytical tableaux system)—that can predict the empirical difficulty ratings equally well. We show that the informational content of the different feedbacks given in game instances is a core predictor for cognitive difficulty ratings and that this is irrespective of the specific logic used to formalize the game.

M3 - Conference contribution

SN - 9781510872059

SP - 2789

EP - 2794

BT - CogSci 2018 - 40th Annual Cognitive Science Society Meeting [Proceedings]

A2 - Kalish, C.

A2 - Rau, M.

A2 - Zhu, J.

PB - Cognitive Science Society

ER -

Zhao B, van de Pol I, Raijmakers M, Szymanik J. Predicting cognitive difficulty of the deductive mastermind game with dynamic epistemic logic models. In Kalish C, Rau M, Zhu J, editors, CogSci 2018 - 40th Annual Cognitive Science Society Meeting [Proceedings]: Changing/Minds. Cognitive Science Society. 2018. p. 2789-2794. 0527