Logical shortcuts
: Heuristic steps in logic tutoring systems

  • R.J. (Ruben) Steins

Student thesis: Master's Thesis


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 Award10 Jul 2020
Original languageEnglish
SupervisorBastiaan Heeren (Examiner) & Josje Lodder (Co-assessor)

Master's Degree

  • Master Software Engineering

Cite this