Logical shortcuts

: Heuristic steps in logic tutoring systems

Abstract

When entering solutions to problems in Interactive Tutoring Systems (ITS) students often skip or combine steps. How can such systems offer support for these heuristic steps? Based on analysis of the log data of an existing logic tutoring system, a classification of different types of heuristic steps has been devised.
A proof-of-concept implementation in the Logic-tutor LogEx has been used in a number of experiments with students to validate its usage.
Research has shown that the strategy-language used in the IDEAS-framework can be used to encode heuristic steps. Experiments show that they are liked and used by students when available.

Date of Award	10 Jul 2020
Original language	English
Supervisor	Bastiaan Heeren (Examiner) & Josje Lodder (Co-assessor)