Toward discourse representation via pregroup grammars
Toward discourse representation via pregroup grammars
复制标题
通过预组语法实现话语表征
DOI：
10.1007/s10849-006-9033-y
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
A. Preller
中科院分区：
文献类型：
--
作者：
A. Preller
每一个前群文法被证明是强等价的一个使用基本类型和左，右伴随的基本类型。因此，语义解释独立于相关逻辑的顺序。词汇条目被读取为具有∈和函数符号的两个排序谓词逻辑中的表达式。句子的解析定义了一个替换，它将与各个单词相关联的表达式组合在一起。由此产生的无变量公式是句子的翻译。它可以在时间上与解析结构成比例地计算。非逻辑公理与某些词（关系代词、不定冠词、比较限定词）相关联。使用例句推导出对应于译文的DRS的特征化公式。
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore, a semantical interpretation is independent of the order of the associated logic. Lexical entries are read as expressions in a two sorted predicate logic with ∈ and functional symbols. The parsing of a sentence defines a substitution that combines the expressions associated to the individual words. The resulting variable free formula is the translation of the sentence. It can be computed in time proportional to the parsing structure. Non-logical axioms are associated to certain words (relative pronouns, indefinite article, comparative determiners). Sample sentences are used to derive the characterizing formula of the DRS corresponding to the translation.