BRIDGING THE GAP BETWEEN FORMAL AND COMPUTATIONAL SEMANTICS

Prof. Stephen Pulman, FBA
Oxford University


Thursday, March 29, 2007, 12 Noon, MJH Rm. 126



The literature in formal linguistic semantics contains a wealth of fine grained and detailed analyses of many linguistic phenomena. But very little of this work has found its way into implementations, despite a widespread feeling (among linguists at least) that this can't be very difficult: just fix a grammar to produce the right logical forms and hook them up to a theorem prover. In this talk I take a representative analysis of adjectival comparatives and ask what steps one would have to go through so as to use this analysis in a question-answering setting. I then try to identify some general conclusions that can be drawn from this exercise.
(Co-sponsored with NLaSP)