Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

3 Downloads (Pure)

Abstract

Structural induction is a proof technique that is widely used to prove statements about discrete structures. Students find it hard to construct inductive proofs, and when learning to construct such proofs, receiving feedback is important. In this paper we discuss the design of a tutoring system, LogInd, that helps students with constructing stepwise inductive proofs by providing hints, next steps and feedback. As far as we know, this is the first tutoring system for structural induction with this functionality. We explain how we use a strategy to construct proofs for a restricted class of problems. This strategy can also be used to complete partial student solutions, and hence to provide hints or next steps. We use constraints to provide feedback. A pilot evaluation with a small group of students shows that LogInd indeed can give hints and next steps in almost all cases.
Original languageEnglish
Title of host publicationProceedings 8th International Workshop on Theorem Proving Components for Educational Software
Subtitle of host publicationEPTCS 313 Natal, Brazil, 25th August 2019
EditorsPedro Quaresma, Walther Neuper, João Marcos
PublisherCornell University
Pages17–34
Number of pages18
DOIs
Publication statusPublished - 2020
Event8th International Workshop on Theorem proving components for Educational software - Natal, Brazil
Duration: 25 Aug 201925 Aug 2019
Conference number: 8
https://www.uc.pt/en/congressos/thedu/thedu19

Publication series

SeriesElectronic proceedings in theoretical computer science
Volume313
ISSN2075-2180

Workshop

Workshop8th International Workshop on Theorem proving components for Educational software
Abbreviated titleThEdu'19
Country/TerritoryBrazil
CityNatal
Period25/08/1925/08/19
Internet address

Fingerprint

Dive into the research topics of 'Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction'. Together they form a unique fingerprint.

Cite this