Multiple Representations of Knowledge in a Mechanics Problem-Solver

Abstract

Expert problem-solving programs have focused on working problems which humans consider difficult. Octdly, many such problem-solvers could not solve less difficult versions of the problems addressed by their expertise. Th1s shortcoming also contributed to these programs' inability to solve harder problems. To overcome this 'paradox' requires multiple representations of knowledge, inferencing schemes for each, and communication schemes between them . This paper presents a program, NEWTON, applying this Idea to the domain of simple classical mechanics . NEWTON employs the method of envisionment, whereby simple questions may be answered directly, and plans produc('d for solving more complex problems. Envisioning enables NEWTON to use qualitative arguments when possible, with resorts to mathematical equations only if the qualitative reasoning falls to produce a solution.