Checking for Dimensional Correctness in Physics Equations
Chun Wai Liew, Donald E. Smith · 2002
One of the key components of an Intelligent Tutoring System (ITS) is the mechanism for reasoning about the student’s in-put. The impact of this component extends far beyond the presentation of the lesson material to the success of the sys-tem itself. It affects how precisely the system can pinpoint student errors and thus the subsequent help that the system provides. This paper describes an example of a class of physics prob-lems whose answers are most naturally represented as sys-tems of algebraic equations. Analyzing such input requires not only an understanding of algebra but also knowledge of physics concepts. This paper describes a technique for determining the dimen-sional consistency of algebraic equations in physics using constraint propagation. Unlike other methods, it does not depend on the user defining the dimensions of each vari-able. Instead, it uses a knowledge base of well known physics variables combined with constraint propagation to determine both the dimensions of values (variables and constants) and also the dimensional consistency of an equation. The tech-nique has been successfully tested on answers obtained from a class of college level introductory physics students.