含歧义量化的表法演算
计算与语言
2007-05-23 v1
摘要
应对歧义问题最近在自然语言处理领域受到了广泛关注。大多数工作集中于对含有歧义表达的语义表示。本文从两个方面补充了这一工作。首先，我们提供了一个包含含歧义表达的语言的蕴涵关系。其次，我们给出了一个用于推理涉及含歧义量化的完整且可靠的表法演算。该演算将部分消歧步骤与传统演绎过程的步骤交织在一起，以最小化和延迟分支，从而提高其效率。
引用
@article{arxiv.cs/0009015,
title = {A Tableaux Calculus for Ambiguous Quantification},
author = {Christof Monz and Maarten de Rijke},
journal= {arXiv preprint arXiv:cs/0009015},
year = {2007}
}
备注
In: H. de Swart (editor). Automated Reasoning with Analytic Tableaux and Related Methods, Tableaux'98 LNAI 1397, Springer, 1998, pp. 232-246