NDLI: An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System

Content Provider	Springer Nature Link
Author	Gierasimczuk, Nina Maas, Han L. J. Raijmakers, Maartje E. J.
Copyright Year	2013
Abstract	The paper is concerned with the psychological relevance of a logical model for deductive reasoning. We propose a new way to analyze logical reasoning in a deductive version of the Mastermind game implemented within a popular Dutch online educational learning system (Math Garden). Our main goal is to derive predictions about the difficulty of Deductive Mastermind tasks. By means of a logical analysis we derive the number of steps needed for solving these tasks (a proxy for working memory load). Our model is based on the analytic tableaux method, known from proof theory. We associate the difficulty of Deductive Mastermind game-items with the size of the corresponding logical trees obtained by the tableaux method. We derive empirical hypotheses from this model. A large group of students (over 37 thousand children, 5–12 years of age) played the Deductive Mastermind game, which gave empirical difficulty ratings of all 321 game-items. The results show that our logical approach predicts these item ratings well, which supports the psychological relevance of our model.
Starting Page	297
Ending Page	314
Page Count	18
File Format	PDF
ISSN	09258531
Journal	Journal of Logic, Language and Information
Volume Number	22
Issue Number	3
e-ISSN	15729583
Language	English
Publisher	Springer Netherlands
Publisher Date	2013-07-31
Publisher Place	Dordrecht
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Deductive Mastermind Mastermind game Deductive reasoning Analytic tableaux Math Garden (Rekentuin) Educational tools Logic Semantics Information Systems Applications (incl. Internet)
Content Type	Text
Resource Type	Article
Subject	Philosophy Computer Science Linguistics and Language

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Logical and psychological analysis of deductive mastermind.

Bidirectional Optimization from Reasoning and Learning in Games

The Dynamification of Modal Dependence Logic

A Double Team Semantics for Generalized Quantifiers

Syllogisms in Rudimentary Linear Logic, Diagrammatically

A Logic for Reasoning About Knowledge of Unawareness

Explaining Quantity Implicatures

On the Theory of Anaphora: Dynamic Predicate Logic vs. Game-Theoretical Semantics

Speedith: A Reasoner for Spider Diagrams

An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System

Similar Documents

Logical and psychological analysis of deductive mastermind.

Bidirectional Optimization from Reasoning and Learning in Games

The Dynamification of Modal Dependence Logic

A Double Team Semantics for Generalized Quantifiers

Syllogisms in Rudimentary Linear Logic, Diagrammatically

A Logic for Reasoning About Knowledge of Unawareness

Explaining Quantity Implicatures

On the Theory of Anaphora: Dynamic Predicate Logic vs. Game-Theoretical Semantics

Speedith: A Reasoner for Spider Diagrams

An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System