[论文解读] Treating Coordination with Datalog Grammars

Verónica Dahl, Paul Tarau+2 more|ArXiv.org|May 3, 1995

Logic, programming, and type systems参考文献 9被引用 3

一句话总结

本文提出了一种Datalog语法变体，能够以元语法方式处理逻辑语法中的并列现象，通过借鉴数据库查询机制，相较于先前的方法在效率和表达能力上有所提升。该方法在处理自然语言句法中的并列现象（如并列连词和选择连词）方面表现出更高的效率与更强的表达能力。

ABSTRACT

In previous work we studied a new type of DCGs, Datalog grammars, which are inspired on database theory. Their efficiency was shown to be better than that of their DCG counterparts under (terminating) OLDT-resolution. In this article we motivate a variant of Datalog grammars which allows us a meta-grammatical treatment of coordination. This treatment improves in some respects over previous work on coordination in logic grammars, although more research is needed for testing it in other respects.

研究动机与目标

• 解决传统确定性子句语法（DCGs）在处理自然语言句法中并列现象时的局限性。
• 克服现有逻辑语法方法在并列处理中效率低下和表达能力不足的问题。
• 提出一种受数据库查询机制启发的Datalog语法变体，支持对并列的元语法处理。
• 在OLDT归约机制下，通过基于Datalog的推理，展示在解析并列结构时性能和灵活性的提升。
• 为未来在更广泛的语言学并列模式上评估该方法奠定基础。

提出的方法

• 将Datalog语法形式化方法适配为表示具有递归关系结构的句法规则，借鉴数据库理论。
• 将并列规则表示为可使用标准Datalog求值策略进行查询的Datalog谓词。
• 采用OLDT归约作为求值机制，以确保语法规则的终止性和高效执行。
• 使用Datalog的关系复合机制，将并列结构（如短语中的'和'、'或'）建模为子成分的逻辑组合。
• 使用元语法规则在不同句法类别间泛化并列模式。
• 将语法与逻辑编程框架集成，以支持对并列结构的解析与识别。

实验结果

研究问题

• RQ1 如何利用逻辑语法更有效地建模自然语言句法中的并列？
• RQ2 与传统的DCGs相比，Datalog语法能否在并列处理中提供更高的效率和更强的表达能力？
• RQ3 使用受数据库启发的形式化方法处理递归性和组合性并列有何优势？
• RQ4 与现有方法相比，Datalog语法中对并列的元语法处理在覆盖范围和终止性方面表现如何？
• RQ5 与标准DCGs相比，基于Datalog的方法在OLDT归约下带来了哪些性能提升？

主要发现

• 所提出的Datalog语法变体使得逻辑语法中对并列的处理更加系统化且可扩展。
• Datalog的关系模型使得句法规则与并列逻辑实现更清晰的分离。
• 在OLDT归约下，该方法在处理递归和复杂并列结构时，相较于传统DCGs表现出更高的效率。
• 元语法方法支持对不同类型并列（如名词短语并列和从句级并列）的泛化。
• 该框架在与现有逻辑编程系统集成方面展现出潜力，但尚需进一步的实证测试。
• 该形式化方法支持终止性和可预测的执行，这对实际解析应用至关重要。