Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor
Saved in:
| Title: | Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor |
|---|---|
| Language: | English |
| Authors: | Lodder, Josje (ORCID |
| Source: | International Journal of Artificial Intelligence in Education. Mar 2021 31(1):99-133. |
| Availability: | Springer. Available from: Springer Nature. One New York Plaza, Suite 4600, New York, NY 10004. Tel: 800-777-4643; Tel: 212-460-1500; Fax: 212-460-1700; e-mail: customerservice@springernature.com; Web site: https://link.springer.com/ |
| Peer Reviewed: | Y |
| Page Count: | 35 |
| Publication Date: | 2021 |
| Document Type: | Journal Articles Reports - Evaluative |
| Descriptors: | Intelligent Tutoring Systems, Cues, Feedback (Response), Mathematical Logic, Problem Solving |
| DOI: | 10.1007/s40593-020-00222-2 |
| ISSN: | 1560-4292 |
| Abstract: | This paper describes LOGAX, an interactive tutoring tool that gives hints and feedback to a student who stepwise constructs a Hilbert-style axiomatic proof in propositional logic. LOGAX generates proofs to calculate hints and feedback. We compare these generated proofs with expert proofs and student solutions, and conclude that the quality of the generated proofs is comparable to that of expert proofs. LOGAX recognizes most steps that students take when constructing a proof. Even if a student diverges from the generated solution, LOGAX still provides hints, including next steps or reachable subgoals, and feedback. With a few improvements in the design of the set of buggy rules, LOGAX will cover about 80% of the mistakes made by students by buggy rules. The hints help students to complete the exercises. |
| Abstractor: | As Provided |
| Entry Date: | 2021 |
| Accession Number: | EJ1292093 |
| Database: | ERIC |
| Abstract: | This paper describes LOGAX, an interactive tutoring tool that gives hints and feedback to a student who stepwise constructs a Hilbert-style axiomatic proof in propositional logic. LOGAX generates proofs to calculate hints and feedback. We compare these generated proofs with expert proofs and student solutions, and conclude that the quality of the generated proofs is comparable to that of expert proofs. LOGAX recognizes most steps that students take when constructing a proof. Even if a student diverges from the generated solution, LOGAX still provides hints, including next steps or reachable subgoals, and feedback. With a few improvements in the design of the set of buggy rules, LOGAX will cover about 80% of the mistakes made by students by buggy rules. The hints help students to complete the exercises. |
|---|---|
| ISSN: | 1560-4292 |
| DOI: | 10.1007/s40593-020-00222-2 |
