Abductive theorem proving for analyzing student explanations

被引：0
|
作者：
Jordan, PW [1 ]
Makatchev, M [1 ]
VanLehn, K [1 ]
机构：
[1] Univ Pittsburgh, Learning Res & Dev Ctr, Pittsburgh, PA 15260 USA
来源：
ARTIFICIAL INTELLIGENCE IN EDUCATION: SHAPING THE FUTURE OF LEARNING THROUGH INTELLIGENT TECHNOLOGIES | 2003年 / 97卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The Why2-Atlas tutoring system presents students with qualitative physics questions and encourages them to explain their answers via natural language. Although there are inexpensive techniques for analyzing explanations, we claim that better understanding is necessary to provide substantive feedback. In this paper we motivate and describe how the system creates and utilizes a proof-based representation of student essays and provide some preliminary evaluation results.
引用
收藏
页码：73 / 80
页数：8
相关论文
共 50 条
  • [1] Abductive theorem proving for analyzing student explanations to guide feedback in intelligent tutoring systems
    Makatchev M.
    Jordan P.W.
    VanLehn K.
    [J]. Journal of Automated Reasoning, 2004, 32 (03) : 187 - 226
  • [2] Computing Abductive Explanations
    Caroprese, Luciano
    Zumpano, Ester
    Bogaerts, Bart
    [J]. IEEE INTELLIGENT SYSTEMS, 2022, 37 (06) : 18 - 26
  • [3] A Measure of Arbitrariness in Abductive Explanations
    Caroprese, Luciano
    Trubitsyna, Irina
    Truszczynski, Miroslaw
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2014, 14 : 665 - 679
  • [4] Axiomatic Aggregations of Abductive Explanations
    Biradar, Gagan
    Izza, Yacine
    Lobo, Elita
    Viswanathan, Vignesh
    Zick, Yair
    [J]. THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 10, 2024, : 11096 - 11104
  • [5] On computing all abductive explanations
    Eiter, T
    Makino, K
    [J]. EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 62 - 67
  • [6] On computing probabilistic abductive explanations
    Izza, Yacine
    Huang, Xuanxiang
    Ignatiev, Alexey
    Narodytska, Nina
    Cooper, Martin
    -Silva, Joao Marques
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 159
  • [7] Automatic Assessment of Student Answers for Geometric Theorem Proving Questions
    Mendis, Chamupathi
    Lahiru, Dhanushka
    Pamudika, Naduni
    Madushanka, Supun
    Ranathunga, Surangika
    Dias, Gihan
    [J]. 2017 3RD INTERNATIONAL MORATUWA ENGINEERING RESEARCH CONFERENCE (MERCON), 2017, : 413 - 418
  • [8] Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
    Hasan, Osman
    Tahar, Sofiene
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2010, 25 (06) : 1305 - 1320
  • [9] Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
    Osman Hasan
    Sofiène Tahar
    [J]. Journal of Computer Science and Technology, 2010, 25 : 1305 - 1320
  • [10] Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
    Osman Hasan
    Sofiène Tahar
    [J]. Journal of Computer Science & Technology, 2010, 25 (06) : 1305 - 1320
12345