Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan, Umarani Pappuswamy
Students' natural language (NL) explanations in the domain of qualitative mechanics lie in-between unrestricted NL and the constrained NL of "proper" domain statements. Analyzing such input and providing appropriate tutorial feedback requires extracting information relevant to the physics domain and diagnosing this information for possible errors and gaps in reasoning. In this paper we will describe two approaches to solving the diagnosis problem: weighted abductive reasoning and assumption-based truth maintenance system (ATMS). We also outline the features of knowledge representation (KR) designed to capture relevant semantics and to facilitate computational feasibility.
Subjects: 3. Automated Reasoning; 11. Knowledge Representation
Submitted: Feb 14, 2006