Reasoning about systems of physics equations

被引:0
|
作者
Liew, CW [1 ]
Smith, DE
机构
[1] Lafayette Coll, Dept Comp Sci, Easton, PA 18042 USA
[2] Rutgers State Univ, Dept Comp Sci, New Brunswick, NJ 08855 USA
来源
INTELLIGENT TUTORING SYSTEMS | 2002年 / 2363卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Many problems in introductory Physics require the student to enter a system of algebraic equations as the answer. Tutoring systems must be able to understand the student's submission before they can generate useful feedback. This paper presents an approach that accepts from the student a system of equations, describing the physics of the problem and checks to see if it is correct. When it is not, the student's equation set is analyzed vis-a-vis one or more correct sets of equations, known physics concepts, and algebraic transformations. During this analysis credit-blame assignment is performed to identify one of several types of errors including 1) algebraic errors, 2) one or more omitted physics concepts, 3) incorrect instances of a required physics concept, and 4) use of an inappropriate physics concept. Experimental data collected from an introductory physics class is summarized and discussed vis-a-vis other methods. Results indicate that the techniques applied are effective,at localizing most errors but that more work is needed to distinguish between algebraic and conceptual errors.
引用
收藏
页码:463 / 472
页数:10
相关论文
共 50 条
  • [1] Rearranging equations to develop physics reasoning
    Kapodistrias, Anastasios
    Airey, John
    [J]. EUROPEAN JOURNAL OF PHYSICS, 2024, 45 (03)
  • [2] REASONING IN SYSTEMS OF EQUATIONS AND INEQUATIONS
    MOHAN, CK
    SRIVAS, MK
    KAPUR, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 305 - 325
  • [3] Reasoning about quantum systems
    Mateus, P
    Sernadas, A
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 239 - 251
  • [4] REASONING ABOUT CONTINUOUS SYSTEMS
    CHANDY, KM
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 117 - 132
  • [5] Reasoning about interactive systems
    Back, R
    Mikhajlova, A
    von Wright, J
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1460 - 1476
  • [6] Reasoning about Normative Systems
    van der Hoek, Wiebe
    [J]. LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2010, 223 : 3 - 3
  • [7] REASONING ABOUT INTERACTIVE SYSTEMS
    AMBRIOLA, V
    NOTKIN, D
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 272 - 276
  • [8] REASONING ABOUT NAMING SYSTEMS
    BOWMAN, M
    DEBRAY, SK
    PETERSON, LL
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (05): : 795 - 825
  • [9] Reasoning about Ecological Systems
    Zimmerman, Corinne
    Tobin, Renee M.
    Cossey, Andrea
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 1661 - 1661
  • [10] Reasoning about linear systems
    Arthan, Rob
    Martin, Ursula
    Mathiesen, Erik Arne
    Oliva, Paulo
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 123 - +