Proof step analysis for proof tutoring - a learning approach to granularity
dc.contributor.author | Schiller, Marvin | |
dc.contributor.author | Dietrich, Dominik | |
dc.contributor.author | Benzmüller, Christoph | |
dc.date.accessioned | 2024-09-04T09:45:58Z | |
dc.date.available | 2024-09-04T09:45:58Z | |
dc.date.issued | 2008-12-01 | |
dc.description.abstract | We present a proof step diagnosis module based on the mathematical assistant system Ωmega. The task of this module is to evaluate proof steps as typically uttered by students in tutoring sessions on mathematical proofs. In particular, we categorise the step size of proof steps performed by the student, in order to recognise if they are appropriate with respect to the student model. We propose an approach which builds on reconstructions of the proof in question via automated proof search using a cognitively motivated proof calculus. Our approach employs learning techniques and incorporates a student model, and our diagnosis module can be adjusted to different domains and users. We present a first evaluation based on empirical data. | en |
dc.format | application/pdf | |
dc.identifier.citation | Teaching Mathematics and Computer Science, Vol. 6 No. 2 (2008) , 325-343 | |
dc.identifier.doi | https://doi.org/10.5485/TMCS.2008.0183 | |
dc.identifier.eissn | 2676-8364 | |
dc.identifier.issn | 1589-7389 | |
dc.identifier.issue | 2 | |
dc.identifier.jatitle | Teach. Math. Comp. Sci. | |
dc.identifier.jtitle | Teaching Mathematics and Computer Science | |
dc.identifier.uri | https://hdl.handle.net/2437/379640 | |
dc.identifier.volume | 6 | |
dc.language | en | |
dc.relation | https://ojs.lib.unideb.hu/tmcs/article/view/14830 | |
dc.rights.access | Open Access | |
dc.rights.owner | Marvin Schiller, Dominik Dietrich and Christoph Benzmüller | |
dc.subject | proof tutoring | en |
dc.subject | automated reasoning | en |
dc.subject | machine learning | en |
dc.title | Proof step analysis for proof tutoring - a learning approach to granularity | en |
dc.type | folyóiratcikk | hu |
dc.type | article | en |
Fájlok
Eredeti köteg (ORIGINAL bundle)
1 - 1 (Összesen 1)