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)