LP-1998-11: A Resolution Calculus for Dynamic Semantics

LP-1998-11: Monz, Christof and de Rijke, Maarten (1998) A Resolution Calculus for Dynamic Semantics. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (1MB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (581B)


This paper applies resolution theorem proving to natural language
semantics. The aim is to circumvent the computational complexity
triggered by natural language ambiguities like pronoun binding, by
interleaving pronoun binding with resolution deduction. To this end,
disambiguation is only applied to expressions that actually occur
during derivations. Given a set of premises and a conclusion, our
resolution method only delivers pronoun bindings that are needed to
derive the conclusion.

Item Type: Report
Report Nr: LP-1998-11
Series Name: Logic, Philosophy and Linguistics (LP)
Year: 1998
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1271

Actions (login required)

View Item View Item