表树上预设的组合性
cmp-lg
2008-02-03 v1 计算与语言
摘要
表树起源于一种逻辑语言的判定方法。它们也可以被扩展为一种结构，用以表述一组句子中出现的原子公式的真值指派所包含的全部信息。本文采用此方法。在该结构之上，提供了组合性规则，用于从逻辑语句的原子子公式及其预设中获取预设。这些规则基于经典逻辑语义，并被证明能够建模自然语言句子中使用if...then、and和or构建的句子中预设的行为。讨论了该方法相对于现有预设框架的优势。
引用
@article{arxiv.cmp-lg/9505014,
title = {Compositionality for Presuppositions over Tableaux},
author = {Pablo Gervas},
journal= {arXiv preprint arXiv:cmp-lg/9505014},
year = {2008}
}