Sémantique des determinants dans un cadre richement type
Sémantique des déterminants dans un cadre richement typé
摘要：
根据语境的变化，词义的变化使我们丰富了我们的法语句法和语义分析的类型系统的基础上范畴语法和蒙塔古语义（或DRT）。深度语义分析的主要优点是通过逻辑公式来表示含义，这些公式可以很容易地用于推理。限定词和量词在这些公式的构建中起着基础性的作用。但是在我们的富类型系统中，通常的语义术语不起作用。我们提出了一个解决方案，由希尔伯特的τ和τ算子，各种通用元素和选择函数。这种方法统一了不同限定词和量词的处理以及代词的动态约束。最重要的是，无论从理论还是实践的角度来看，这种完全计算的观点都非常适合广泛覆盖的解析器Grail。
英文摘要：
The variation of word meaning according to the context leads us to enrich the type system of our syntactical and semantic analyser of French based on categorial grammars and Montague semantics (or lambda-DRT). The main advantage of a deep semantic analyse is too represent meaning by logical formulae that can be easily used e.g. for inferences. Determiners and quantifiers play a fundamental role in the construction of those formulae. But in our rich type system the usual semantic terms do not work. We propose a solution ins- pired by the tau and epsilon operators of Hilbert, kinds of generic elements and choice functions. This approach unifies the treatment of the different determi- ners and quantifiers as well as the dynamic binding of pronouns. Above all, this fully computational view fits in well within the wide coverage parser Grail, both from a theoretical and a practical viewpoint.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
