Abductive theorem proving for analyzing student explanations to guide feedback in intelligent tutoring systems

被引：13

作者：

Makatchev M. ^{[1
]}

Jordan P.W. ^{[1
]}

VanLehn K. ^{[1
]}

机构：

[1] Lrng. Res. and Development Center, University of Pittsburgh, Pittsburgh

来源：

Journal of Automated Reasoning | 2004年 / 32卷 / 03期

基金：

美国国家科学基金会;

关键词：

Abductive reasoning; Intelligent tutoring systems; Qualitative physics;

D O I：

10.1023/B:JARS.0000044823.50442.cd

中图分类号：

学科分类号：

摘要：

The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages them to explain their answers through natural language. Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary for use within tutoring systems. In this paper we motivate and describe how the system creates and uses a deeper proof-based representation of student essays in order to provide students with substantive feedback on their explanations. We describe in detail the abductive reasoner, Tacitus-lite+, that we use within the tutoring system. We also discuss evaluation results for an early version of the Why2-Atlas system and a subsequent evaluation of the theorem-proving module. We conclude with the discussion of work in progress and additional future work for deriving more benefits from a proof-based approach for tutoring applications.

引用

页码：187 / 226

页数：39

共 68 条

[31]

Horacek H., A model for adapting explanations to users' likely inferences, User Modeling and User-adapted Interaction, 7, 1, pp. 1-55, (1997)

[32]

Jordan P., VanLehn K., Discourse processing for explanatory essays in tutorial applications, Proceedings of the 3rd SIGdial Workshop on Discourse and Dialogue, (2002)

[33]

Jordan P.W., Using student explanations as models for adapting tutorial dialogues, Proceedings of 17th International FLAIRS Conference, (2004)

[34]

Kakas A., Kowalski R.A., Toni F., The role of abduction in logic programming, Handbook of Logic in Artificial Intelligence and Logic Programming, 5, pp. 235-324, (1998)

[35]

Kaneiwa K., Tojo S., An order-sorted resolution with implicitly negative sorts, Proceedings of the 2001 International Conference on Logic Programming (ICLP'01), pp. 300-314, (2001)

[36]

Keeney R., Raiffa H., Decisions with Multiple Objectives, (1976)

[37]

Landauer T.K., Foltz P.W., Laham D., An introduction to latent semantic analysis, Discourse Processes, 25, pp. 259-284, (1998)

[38]

Lascarides A., Asher N., Discourse relations and defeasible knowledge, 29th Annual Meeting of the Association for Computational Linguistics, pp. 55-62, (1991)

[39]

Lavoie B., Rambow O., A fast and portable realizer for text generation systems, Proceedings of the Fifth Conference on Applied Natural Language Processing Chapter of the Association for Computational Linguistics, pp. 265-268, (1997)

[40]

Leake D., Abduction, experience, and goals: A model of everyday abductive explanation, J. Experimental and Theoretical Artificial Intelligence, 7, pp. 407-428, (1995)

← 1 2 3 4 5 6 7 →