[Ltg] LTG Seminar [Robert Dale 2008-01-14, E6A 357, 11am

[Marc Tilbrook]

----
   LTG Seminar
    - see: http://www.clt.mq.edu.au/Events/Seminars.html

    Monday, 14th January, 2008, 11am
    Macquarie University, E6A, Room 357
   ----

Title: OpenProof:  At Last, a Reason to Generate from Logical Forms
Speaker: Robert Dale

In this talk I'll give an update on the OpenProof project:  this is some 
back-burner work I have been doing over the last couple of years with Dave 
Barker-Plummer from Stanford and Richard Cox from Sussex, and which is the 
subject of an upcoming ARC Discovery Proposal by myself, Mark Dras and 
Rolf Schwitter.    The focus of the project is errored student submissions 
to problems which require the translation of English into first order 
logic; our aim is to generate natural language re-renderings of these 
errored solutions that help the student to understand where they went 
wrong.

Just before Christmas, I spent a great week at Stanford working with Dave 
and Richard on analysing the many thousands of errors we have on file. 
I'll talk about the results of this analysis, where I'd like the project 
to go, and the general pitch of the ARC proposal.