Improving error diagnosis using intermediate representations

Research output: Contribution to journalArticle

Abstract

The paper describes techniques to improve error diagnosis by enabling the student to explain his or her underlying thinking to the system. It is argued that attempts to infer this information using such techniques as plan recognition and natural language interfaces are too complex and error prone. Instead, techniques of explicit creation and annotation of underlying plans and goals are proposed, including the use of explicit instantiation of general rules. A tutor for propositional logic, EPIC, has been developed to illustrate the use of these techniques, and observations made of students using the tutor. The results indicate the power of the technique to identify plans, particularly erroneous ones, during the process of problem solving, when the student may have entered few steps of his or her proposed solution proof. Furthermore, the provision of an interface to permit the articulation of underlying plans was found to be more supportive as a learning environment than merely permiting the entry of the solution steps.

Original languageEnglish (US)
Pages (from-to)359-387
Number of pages29
JournalInstructional Science
Volume20
Issue number5-6
DOIs
StatePublished - Sep 1991
Externally publishedYes

Fingerprint

Students
tutor
Systems Analysis
student
Language
logic
Learning
learning environment
language
Recognition (Psychology)
Power (Psychology)

ASJC Scopus subject areas

  • Education
  • Developmental and Educational Psychology

Cite this

Improving error diagnosis using intermediate representations. / Twidale, Michael.

In: Instructional Science, Vol. 20, No. 5-6, 09.1991, p. 359-387.

Research output: Contribution to journalArticle

@article{6b735ae8e81f46b2a80bd4dd33afe4b5,
title = "Improving error diagnosis using intermediate representations",
abstract = "The paper describes techniques to improve error diagnosis by enabling the student to explain his or her underlying thinking to the system. It is argued that attempts to infer this information using such techniques as plan recognition and natural language interfaces are too complex and error prone. Instead, techniques of explicit creation and annotation of underlying plans and goals are proposed, including the use of explicit instantiation of general rules. A tutor for propositional logic, EPIC, has been developed to illustrate the use of these techniques, and observations made of students using the tutor. The results indicate the power of the technique to identify plans, particularly erroneous ones, during the process of problem solving, when the student may have entered few steps of his or her proposed solution proof. Furthermore, the provision of an interface to permit the articulation of underlying plans was found to be more supportive as a learning environment than merely permiting the entry of the solution steps.",
author = "Michael Twidale",
year = "1991",
month = "9",
doi = "10.1007/BF00116354",
language = "English (US)",
volume = "20",
pages = "359--387",
journal = "Instructional Science",
issn = "0020-4277",
publisher = "Springer Netherlands",
number = "5-6",

}

TY - JOUR

T1 - Improving error diagnosis using intermediate representations

AU - Twidale, Michael

PY - 1991/9

Y1 - 1991/9

N2 - The paper describes techniques to improve error diagnosis by enabling the student to explain his or her underlying thinking to the system. It is argued that attempts to infer this information using such techniques as plan recognition and natural language interfaces are too complex and error prone. Instead, techniques of explicit creation and annotation of underlying plans and goals are proposed, including the use of explicit instantiation of general rules. A tutor for propositional logic, EPIC, has been developed to illustrate the use of these techniques, and observations made of students using the tutor. The results indicate the power of the technique to identify plans, particularly erroneous ones, during the process of problem solving, when the student may have entered few steps of his or her proposed solution proof. Furthermore, the provision of an interface to permit the articulation of underlying plans was found to be more supportive as a learning environment than merely permiting the entry of the solution steps.

AB - The paper describes techniques to improve error diagnosis by enabling the student to explain his or her underlying thinking to the system. It is argued that attempts to infer this information using such techniques as plan recognition and natural language interfaces are too complex and error prone. Instead, techniques of explicit creation and annotation of underlying plans and goals are proposed, including the use of explicit instantiation of general rules. A tutor for propositional logic, EPIC, has been developed to illustrate the use of these techniques, and observations made of students using the tutor. The results indicate the power of the technique to identify plans, particularly erroneous ones, during the process of problem solving, when the student may have entered few steps of his or her proposed solution proof. Furthermore, the provision of an interface to permit the articulation of underlying plans was found to be more supportive as a learning environment than merely permiting the entry of the solution steps.

UR - http://www.scopus.com/inward/record.url?scp=0041979243&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0041979243&partnerID=8YFLogxK

U2 - 10.1007/BF00116354

DO - 10.1007/BF00116354

M3 - Article

AN - SCOPUS:0041979243

VL - 20

SP - 359

EP - 387

JO - Instructional Science

JF - Instructional Science

SN - 0020-4277

IS - 5-6

ER -