CHR语法

SYNTAGMA. A Linguistic Approach to Parsing

SYNTAGMA is a rule-based parsing system, structured on two levels: a general parsing engine and a language specific grammar. The parsing engine is a language independent program, while grammar and language specific rules and resources are given as text files, consisting in a list of constituent structuresand a lexical database with word sense related features and constraints. Since its theoretical background is principally Tesniere's Elements de syntaxe, SYNTAGMA's grammar emphasizes the role of argument structure (valency) in constraint satisfaction, and allows also horizontal bounds, for ins…

使用类型化特征结构进行解析

Parsing with Typed Feature Structures

在本文中，我们提供了语法分析表示在一个一般的TFS-based的形式主义，限制ALE。我们的动机是设计一个抽象的（WAM类）机器的形式主义，我们认为解析作为一个计算过程，并使用它作为一个操作语义来指导设计的控制结构的抽象机器。我们强调抽象类型化特征结构（AFS）的概念，编码TFSs的基本信息，并定义统一的AFS，而不是TFSs。然后，我们引入了一个明确的多根特征结构（MRS），自然扩展TFSs和使用它们来表示短语符号以及语法规则。我们还采用了MRS的抽象，并给出了操纵它们所需的数学基础。我们正式定义的语法和它们生成的语言，然后描述一个模型的计算，对应于自底向上的图表解析：语法写在基于TFS-based形式主义的解析器执行。我们证明了计算是正确的独立的定义。最后，我们讨论了计算终止的文法类，并证明了离线可解析文法的终止是可以保证的。

一种高效的头角分析器的实现

An Efficient Implementation of the Head-Corner Parser

本文描述了一个高效和强大的实现双向，头部驱动的语法分析器的约束为基础的语法。这个解析器是为OVIS系统开发的：一个荷兰语口语对话系统，可以通过电话获得有关公共交通的信息。在回顾了中心语驱动句法分析策略，尤其是中心语角句法分析的研究现状后，提出了一种非确定性的中心语角句法分析器。一个memoization技术，以获得一个快速的分析器。一个目标弱化技术，大大提高了平均情况下的效率，无论是在速度和空间要求。我主张这样一个memoization战略与普通的图表分析器相比，目标弱化，因为这样的策略可以选择性地应用，因此大大降低了空间的要求，分析器，而没有实际损失的时间效率观察。相反，实验中描述的头角和左角解析器实现选择性memoization和目标弱化优于“标准”图表解析器。实验包括OVIS系统的文法和Alvey NL Tools文法。头角分析是自底向上和自顶向下处理的混合。某些实现健壮解析的方法需要纯粹的自底向上处理。因此，它似乎是头角解析不适合这样的强大的解析技术。然而，它示出了如何欠规范（这是非常自然地出现在逻辑编程环境中），可以使用在头角解析器，以允许这种强大的解析技术。一个特定的鲁棒解析模型描述了这是在OVIS实现。

使用类型化特征结构进行解析

Parsing with Typed Feature Structures

在本文中，我们提供了语法分析表示在一个一般的TFS-based的形式主义，限制ALE。我们的动机是设计一个抽象的（WAM类）机器的形式主义，我们认为解析作为一个计算过程，并使用它作为一个操作语义来指导设计的控制结构的抽象机器。我们强调抽象类型化特征结构（AFS）的概念，编码TFSs的基本信息，并定义统一的AFS，而不是TFSs。然后，我们引入了一个明确的多根特征结构（MRS），自然扩展TFSs和使用它们来表示短语符号以及语法规则。我们还采用了MRS的抽象，并给出了操纵它们所需的数学基础。然后，我们提出了一个简单的自下而上的图表解析器作为一个模型的计算：语法写在基于TFS-based的形式主义执行的解析器。最后，我们证明了解析器是正确的。