Handling of student mistakes
in the Logic Tutor
The principle of “cascading” mistakes
PowerPoint show prepared for our article in IMEJ
D. Abraham, E. Crawford, L. Lesta, A. Merceron and K. Yacef
University of Sydney
Level 0: Syntactical mistakes
Syntactical error is detected
by the Parser
Level 1: General basic mistakes
“Incorrect line number”
Mismatch between the lines
referred to, the rule used
and the formula given
Here the Expert Module detects
that the result could be achieved
by applying the rule with lines other
than those specified by the student
Level 1: General basic mistakes
Invalid application of rule
Mismatch between the lines
referred to, the rule used
and the formula given
Here the Expert Module detects
that the result could be achieved
by applying another rule than
the one specified by the student
Level 2: More specific mistakes
Use of Simplification without Commutation
Mismatch between the lines
referred to, the rule used
and the formula given
Here the Expert Module detects that
the result could be achieved
by applying Commutation
before Simplification