论文标题
引入框架语义中的量化
Introduction of Quantification in Frame Semantics
论文作者
论文摘要
特征结构（FSS）是用于属性值关联分解框架的广泛工具。即使它们在简单的系统中蓬勃发展，他们也缺乏表示高阶实体和关系的方式。但是，在框架语义中需要这是需要的，在该语义语义上，语义依赖性应该能够连接个体及其属性组，尤其是为了建模量化。为了回答此问题，该总报告将包装介绍为包裹sub-fs并将其视为节点的一种方式。在[Kallmeyer，Osswald 2013]的工作之后，我们扩展了其语法，语义和某些属性（转化为fol，cupplocting，unification）。然后，我们可以扩展提出的管道。词汇最小模型集由公式产生。它们通过通过LTAG解析为未指定的句子表示获得的FS值方程来统一。量词的句法方法使我们能够使用现有方法来产生任何可能的读数。最后，在动态语义方面，我们给出了类型与逻辑公式的转录，以与上下文相互作用。在框架类型的想法的支持下，该系统为与FS的高阶关系提供了可行且可拖动的工具。
Feature Structures (FSs) are a widespread tool used for decompositional frameworks of Attribute-Value associations. Even though they thrive in simple systems, they lack a way of representing higher-order entities and relations. This is however needed in Frame Semantics, where semantic dependencies should be able to connect groups of individuals and their properties, especially to model quantification. To answer this issue, this master report introduces wrappings as a way to envelop a sub-FS and treat it as a node. Following the work of [Kallmeyer, Osswald 2013], we extend its syntax, semantics and some properties (translation to FOL, subsumption, unification). We can then expand the proposed pipeline. Lexical minimal model sets are generated from formulas. They unify by FS value equations obtained by LTAG parsing to an underspecified sentence representation. The syntactic approach of quantifiers allows us to use existing methods to produce any possible reading. Finally, we give a transcription to type-logical formulas to interact with the context in the view of dynamic semantics. Supported by ideas of Frame Types, this system provides a workable and tractable tool for higher-order relations with FS.
