[论文解读] A Model-Theoretic Framework for Theories of Syntax

James Rogers|ArXiv.org|Apr 30, 1996

Logic, programming, and type systems参考文献 22被引用 4

一句话总结

本文提出了一种模型论框架 LKP，用于句法理论，该框架摒弃了语法机制，转而通过一元二阶逻辑定义语言的结构属性。其主要贡献在于 LKP 恰好捕捉了强上下文无关语言，从而为 GPSG 和 GB 等句法理论提供了统一、表达性强且清晰的形式化，同时保持了强大的生成能力。

ABSTRACT

A natural next step in the evolution of constraint-based grammar formalisms from rewriting formalisms is to abstract fully away from the details of the grammar mechanism---to express syntactic theories purely in terms of the properties of the class of structures they license. By focusing on the structural properties of languages rather than on mechanisms for generating or checking structures that exhibit those properties, this model-theoretic approach can offer simpler and significantly clearer expression of theories and can potentially provide a uniform formalization, allowing disparate theories to be compared on the basis of those properties. We discuss $\LKP$, a monadic second-order logical framework for such an approach to syntax that has the distinctive virtue of being superficially expressive---supporting direct statement of most linguistically significant syntactic properties---but having well-defined strong generative capacity---languages are definable in $\LKP$ iff they are strongly context-free. We draw examples from the realms of GPSG and GB.

研究动机与目标

• 开发一种句法理论的形式化框架，摒弃语法生成机制，转而关注许可语言的结构属性。
• 提供一种统一的形式化，使不同句法理论（如 GPSG 和 GB）之间能够直接比较。
• 通过使框架中可定义的语言与强上下文无关语言类相一致，确保强大的生成能力。
• 提供比传统基于约束的形式化更透明、更概念简洁的句法属性表达方式。

提出的方法

• 该框架采用一元二阶逻辑（MSO）作为表达句法属性的逻辑基础。
• 它定义了一个形式系统 LKP，该系统是一类专为句法结构定制的 MSO 的受限形式。
• 该系统支持对语言学上有意义的属性（如成分结构和依存关系）进行直接表达。
• 通过逻辑表征，建立了 LKP 中可定义语言与强上下文无关语言之间的对应关系。
• 该框架摒弃了推导机制，仅关注满足逻辑约束的结构集合。
• 它使用模型论语义学，将句法理论的意义定义为满足公理的模型集合（即，合法结构）

实验结果

研究问题

• RQ1 如何在不依赖结构生成或检查机制的前提下，对句法理论进行形式化？
• RQ2 何种逻辑框架能够直接表达关键句法属性，同时保持强大的生成能力？
• RQ3 能否开发一种统一的形式化，使不同句法理论（如 GPSG 和 GB）之间能够进行比较？
• RQ4 一种基于逻辑、通过结构属性定义语言的框架，其生成能力如何？
• RQ5 如何通过模型论语义学简化并澄清句法约束的表达？

主要发现

• LKP 表面表达能力强，可直接表述大多数语言学相关的句法属性，如成分边界和依存关系。
• LKP 中可定义的语言类恰好对应于强上下文无关语言类。
• 该框架实现了句法理论的清晰、与机制无关的表示，简化了其表达与比较。
• 通过聚焦于结构属性而非推导过程，模型论方法增强了概念清晰性并降低了复杂性。
• 该逻辑框架支持统一的形式化，能够基于其可定义的结构属性整合并比较 GPSG 和 GB 等理论。