View in EDS

Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor

Saved in:
Bibliographic Details
Title: Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor
Language: English
Authors: Lodder, Josje (ORCID 0000-0003-0568-7844), Heeren, Bastiaan, Jeuring, Johan, Neijenhuis, Wendy
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
FullText Text:
  Availability: 0
Header DbId: eric
DbLabel: ERIC
An: EJ1292093
AccessLevel: 3
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor
– Name: Language
  Label: Language
  Group: Lang
  Data: English
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Lodder%2C+Josje%22">Lodder, Josje</searchLink> (ORCID <externalLink term="http://orcid.org/0000-0003-0568-7844">0000-0003-0568-7844</externalLink>)<br /><searchLink fieldCode="AR" term="%22Heeren%2C+Bastiaan%22">Heeren, Bastiaan</searchLink><br /><searchLink fieldCode="AR" term="%22Jeuring%2C+Johan%22">Jeuring, Johan</searchLink><br /><searchLink fieldCode="AR" term="%22Neijenhuis%2C+Wendy%22">Neijenhuis, Wendy</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="SO" term="%22International+Journal+of+Artificial+Intelligence+in+Education%22"><i>International Journal of Artificial Intelligence in Education</i></searchLink>. Mar 2021 31(1):99-133.
– Name: Avail
  Label: Availability
  Group: Avail
  Data: 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/
– Name: PeerReviewed
  Label: Peer Reviewed
  Group: SrcInfo
  Data: Y
– Name: Pages
  Label: Page Count
  Group: Src
  Data: 35
– Name: DatePubCY
  Label: Publication Date
  Group: Date
  Data: 2021
– Name: TypeDocument
  Label: Document Type
  Group: TypDoc
  Data: Journal Articles<br />Reports - Evaluative
– Name: Subject
  Label: Descriptors
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Intelligent+Tutoring+Systems%22">Intelligent Tutoring Systems</searchLink><br /><searchLink fieldCode="DE" term="%22Cues%22">Cues</searchLink><br /><searchLink fieldCode="DE" term="%22Feedback+%28Response%29%22">Feedback (Response)</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+Logic%22">Mathematical Logic</searchLink><br /><searchLink fieldCode="DE" term="%22Problem+Solving%22">Problem Solving</searchLink>
– Name: DOI
  Label: DOI
  Group: ID
  Data: 10.1007/s40593-020-00222-2
– Name: ISSN
  Label: ISSN
  Group: ISSN
  Data: 1560-4292
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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.
– Name: AbstractInfo
  Label: Abstractor
  Group: Ab
  Data: As Provided
– Name: DateEntry
  Label: Entry Date
  Group: Date
  Data: 2021
– Name: AN
  Label: Accession Number
  Group: ID
  Data: EJ1292093
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=eric&AN=EJ1292093
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s40593-020-00222-2
    Languages:
      – Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 35
        StartPage: 99
    Subjects:
      – SubjectFull: Intelligent Tutoring Systems
        Type: general
      – SubjectFull: Cues
        Type: general
      – SubjectFull: Feedback (Response)
        Type: general
      – SubjectFull: Mathematical Logic
        Type: general
      – SubjectFull: Problem Solving
        Type: general
    Titles:
      – TitleFull: Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Lodder, Josje
      – PersonEntity:
          Name:
            NameFull: Heeren, Bastiaan
      – PersonEntity:
          Name:
            NameFull: Jeuring, Johan
      – PersonEntity:
          Name:
            NameFull: Neijenhuis, Wendy
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Type: published
              Y: 2021
          Identifiers:
            – Type: issn-print
              Value: 1560-4292
          Numbering:
            – Type: volume
              Value: 31
            – Type: issue
              Value: 1
          Titles:
            – TitleFull: International Journal of Artificial Intelligence in Education
              Type: main
ResultId 1