[论文解读] DATR Theories and DATR Models

Bill Keller|ArXiv.org|May 2, 1995

Logic, Reasoning, and Knowledge参考文献 11被引用 5

一句话总结

本文为DATR提供了一套形式化、声明式的数学语义，DATR是一种用于表示自然语言词典的非单调语言。通过将DATR建模为通过基于案例的规则定义部分函数，并将值描述符解释为路径索引的族，该研究为DATR的全局上下文和默认机制提供了透明的解释，解决了该语言理论基础长期以来存在的模糊性问题。

ABSTRACT

Evans and Gazdar introduced DATR as a simple, non-monotonic language for representing natural language lexicons. Although a number of implementations of DATR exist, the full language has until now lacked an explicit, declarative semantics. This paper rectifies the situation by providing a mathematical semantics for DATR. We present a view of DATR as a language for defining certain kinds of partial functions by cases. The formal model provides a transparent treatment of DATR's notion of global context. It is shown that DATR's default mechanism can be accounted for by interpreting value descriptors as families of values indexed by paths.

研究动机与目标

• 为DATR提供一个形式化、声明式的语义，DATR是一种广泛使用但理论描述不足的自然语言词典表示语言。
• 对DATR的全局上下文机制提供数学上严谨的解释，该机制此前一直以操作性方式处理而非语义性方式。
• 通过将值描述符建模为按路径索引的值族，形式化DATR的默认机制。
• 阐明DATR如何通过基于案例的规则计算部分函数，确保其语义的透明性和正确性。
• 建立一个理论基础，以支持现有DATR实现的正确性和一致性。

提出的方法

• 将DATR建模为一种通过案例区分来定义部分函数的语言，使用形式逻辑来表示规则的应用。
• 将值描述符定义为按路径索引的值族，从而实现对默认值的系统性解释。
• 引入一种形式化语义，将全局上下文视为函数定义域的一部分，确保上下文敏感的求值。
• 使用基于路径的索引来建模继承与默认值解析，以数学上透明的方式支持非单调行为。
• 提供一种组合语义，支持对DATR规则的模块化和组合式推理。
• 通过证明该模型与已知的DATR行为和实现的一致性，对模型进行验证。

实验结果

研究问题

• RQ1 如何通过声明式语义形式化捕捉DATR的非单调行为？
• RQ2 DATR的全局上下文机制的精确数学解释是什么？
• RQ3 如何通过索引值族来建模DATR的默认机制？
• RQ4 DATR的基于规则的计算能否被形式化为部分函数的定义？
• RQ5 所提出的语义是否保持了现有DATR实现的行为？

主要发现

• 本文建立了DATR的形式化、声明式语义，解决了其理论基础长期存在的模糊性问题。
• DATR的全局上下文被形式化地解释为函数定义域的一部分，从而实现了透明且一致的上下文敏感求值。
• 默认机制通过将值描述符视为按路径索引的值族而得到严格建模，从而实现了系统性的默认值解析。
• 语义通过基于案例的函数定义来解释非单调行为，保持了DATR预期的计算行为。
• 该模型为验证DATR实现提供了基础，并支持对其正确性的推理。
• 形式化支持组合式推理，增强了基于DATR的词典表示的理论可靠性。