We have set out to create a system that gives essay feedback by identifying stronger and weaker parts of a given essay. In order to do this, we have created a two step model: the first step uses an LSTM to turn a chunk of an essay into an encoding vector. The second step uses a feed forward network to assign a score to an encoding. We believe that if the feed forward network is able to predict ...

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...