WP6 Case study: mathematics - M30

Summary of progress

• Created a prolog-based reasoner to deal with elementary problems in arithmetic, implementing partition by subclasses and decomposition.

• Created GF grammars to express some word problems in English and Prolog

• Started integration with UZH AceWiki/gfservice.

Highlights

• An AceWiki/gfservice fork that allows entering the problem sentence by sentence in natural language and then automatically computes the associated mathematical model.

Deviations from Annex I

We are running out of time to fully develop the prototype. The promised system would work in two modes: Author mode for entering a problem and Student mode for attempting to solve it. The first mode is more or less working but the last will take a lot of time. The scheduled Deliverable D6.3, Assistant for solving word problems, due by 1 September 2012 has been postponed to 1 December 2012. Some resources of UPC originally planned in WP8 have been moved to this workpackage in order to accomplish the promised tasks.