In this paper we describe an application of weighted abductive theorem proving that is used to create a model of students’ qualitative reasoning for the Why2-Atlas tutoring system. The system encourages a student to write an essay in natural language so that the essay provides both an explanation as well as an answer to a qualitative mechanics problem. The student’s essay is first mapped into a...
