LP-1998-10: Monz, Christof and de Rijke, Maarten (1998) A Tableaux Calculus for Ambiguous Quantification. [Report]
Preview |
Text (Full Text)
LP-1998-10.text.pdf Download (1MB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
LP-1998-10.abstract.txt Download (728B) |
Abstract
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 |
