Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics

02/12/2020
by   Merlin Carl, et al.
0

The Diproche system, an automated proof checker for natural language proofs specifically adapted to the context of exercises for beginner's students similar to the Naproche system by Koepke, Schröder, Cramer and others, uses a modification of an automated theorem prover which uses common formal fallacies intead of sound deduction rules for mistake diagnosis. We briefly describe the concept of such an `Anti-ATP' and explain the basic techniques used in its implementation.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset