Verification of human-level proof steps in mathematics education

A tétel rövid nézete
dc.contributor.authorDietrich, Dominik
dc.contributor.authorBuckley, Mark
dc.date.accessioned2024-09-04T09:45:59Z
dc.date.available2024-09-04T09:45:59Z
dc.date.issued2008-12-01
dc.description.abstractAutomated mathematics tutorial systems need support from a reasoning module which can verify the correctness of students' contributions. However, current systems typically do not reason at a level similar to the student's reasoning level, and do not fully account for underspecified or ambiguous inputs. We present a domain-independent method for automatically verifying correct proof steps and detecting standard reasoning errors. We use a depth limited BFS proof search to determine and maintain multiple possible interpretations consistent with the given proof step, we are able to resolve or otherwise propagate underspecification and ambiguity which occurs due to unrestricted user input. Our approach has been implemented in ΩmegaCoRe.en
dc.formatapplication/pdf
dc.identifier.citationTeaching Mathematics and Computer Science, Vol. 6 No. 2 (2008) , 345-362
dc.identifier.doihttps://doi.org/10.5485/TMCS.2008.0184
dc.identifier.eissn2676-8364
dc.identifier.issn1589-7389
dc.identifier.issue2
dc.identifier.jatitleTeach. Math. Comp. Sci.
dc.identifier.jtitleTeaching Mathematics and Computer Science
dc.identifier.urihttps://hdl.handle.net/2437/379641
dc.identifier.volume6
dc.languageen
dc.relationhttps://ojs.lib.unideb.hu/tmcs/article/view/14831
dc.rights.accessOpen Access
dc.rights.ownerDominik Dietrich and Mark Buckley
dc.subjectproof tutoringen
dc.subjectautomated reasoningen
dc.subjectproof checkingen
dc.subjectproof reconstructionen
dc.subjectmathematics educationen
dc.titleVerification of human-level proof steps in mathematics educationen
dc.typefolyóiratcikkhu
dc.typearticleen
Fájlok
Eredeti köteg (ORIGINAL bundle)
Megjelenítve 1 - 1 (Összesen 1)
Nincs kép
Név:
PDF
Méret:
227.41 KB
Formátum:
Adobe Portable Document Format
Letöltés
Gyűjtemények
Teaching Mathematics and Computer Science (DE-journals)