MoL-2017-18: Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game

MoL-2017-18: Zhao, Bonan (2017) Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game. [Report]

[thumbnail of MoL-2017-18.text.pdf]
Preview
Text
MoL-2017-18.text.pdf

Download (2MB) | Preview

Abstract

This thesis studies the cognitive difficulty of the Deductive Mastermind (DMM) game by measuring the complexity of two different logic formalizations of the game. DMM is a version of the board game Mastermind, and it has been implemented in an online educational game system. This system records players’ speed and accuracy data in solving the game, which serves as an empirical indicator of the cognitive difficulty of each DMM game item. In the thesis, we look at an existing formalization of DMM based on analytic tableaux, and we develop a formalization based on dynamic epistemic logic (DEL). The DEL model of DMM performs as well as the tableaux model in predicting the cognitive difficulty of DMM game items, and the DEL model is able to capture more reasoning patterns as self-reported by DMM players. We find that feedback types play an important role in predicting cognitive difficulty of game items, and this result is robust over the two different logic formalizations that we considered.

Item Type: Report
Report Nr: MoL-2017-18
Series Name: Master of Logic Thesis (MoL) Series
Year: 2017
Subjects: Logic
Mathematics
Depositing User: Dr Marco Vervoort
Date Deposited: 05 Oct 2017 15:35
Last Modified: 05 Oct 2017 15:35
URI: https://eprints.illc.uva.nl/id/eprint/1555

Actions (login required)

View Item View Item