LP-1998-10: A Tableaux Calculus for Ambiguous Quantification

LP-1998-10: Monz, Christof and de Rijke, Maarten (1998) A Tableaux Calculus for Ambiguous Quantification. [Report]

[thumbnail of Full Text]
Text (Full Text)

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

Download (728B)


Coping with ambiguity has recently received a lot of attention in
natural language processing. Most work focuses on the semantic
representation of ambiguous expressions. In this paper we complement
this work in two ways. First, we provide an entailment relation for a
language with ambiguous expressions. Second, we give a sound and
complete tableaux calculus for reasoning with statements involving
ambiguous quantification. The calculus interleaves partial
disambiguation steps with steps in a traditional deductive process, so
as to minimize and postpone branching in the proof process, and
thereby increases its efficiency.

Item Type: Report
Report Nr: LP-1998-10
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/1270

Actions (login required)

View Item View Item