ANALYZING VARIABLE CANCELLATIONS TO GENERALIZE SYMBOLIC MATHEMATICAL CALCULATIONS.
JUDE W. SHAVLIK, GERALD F. DEJONG · Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign) · 1986
la n a tio n -b a s e d le a r n in g , g e n e r a liz in g number, u n d e rs ta n d in g m a th e m atics, p h y s ic s problem s o lv in g , c o m p u ta tio n a l sy stem s, m a th e m atica l re a so n in g _______________ J 9 . A B S T R A C T C o n tin u e on reverse i f necessary a n d id e n tify by b lo ck n u m b e r)iMathematical reasoning provides the basis for problem solving and learning in many complex domains.A model for mathematical reasoning in support of explanation-based learning is presented, and an implemented learning system in the domain of classical physics is described.The system's mathematical reasoning processes are guided by the manner in which variables are cancelled in specific problem solutions.Attention focusses on how obstacles are eliminated from calculations.Obstacles are variables that preclude the direct evaluation of the problem's unknown.Analyzing the cancellation of obstacles leads to the generalization of the specific solution.An illustrative example highlights an important issue in explanation-based learning, namely generalizing number.It is argued that such generalization requires extension of the sample solution's explanation.This type of generalization cannot be performed by the standard explanation-based approach of propagating constraints.An approach that overcomes this shortcoming is presented.