[論文レビュー] DATR Theories and DATR Models

Bill Keller|ArXiv.org|May 2, 1995

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

ひとこと要約

本稿は、自然言語の語彙を表現する非単調的言語である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の動作と実装と整合することを示すことで、モデルの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 DATRの非単調的動作は、宣言的意味論を用いてどのように形式的に捉えることができるか？
• RQ2 DATRのグローバルコンテキストメカニズムの正確な数学的解釈は何か？
• RQ3 DATRのデフォルトメカニズムは、インデックス付きの値の族としてどのようにモデル化できるか？
• RQ4 DATRのルールベース計算は、部分関数の定義として形式化できるか？
• RQ5 提案された意味論は、既存のDATR実装の動作を保持するか？

主な発見

• 本稿は、DATRに形式的で宣言的な意味論を確立し、その理論的基盤における長年の曖昧さを解消した。
• DATRのグローバルコンテキストは、関数の定義域の一部として形式的に解釈され、透明で一貫性のあるコンテキストに依存する評価が可能になった。
• デフォルトメカニズムは、値記述子をパスでインデックスした値の族として扱うことで、厳密にモデル化され、体系的なデフォルト解決が可能になった。
• ケース別関数定義を通じて非単調的動作を意味論的に説明でき、DATRの意図された計算動作が保持された。
• モデルはDATR実装の検証やその正しさに関する推論の基盤を提供する。
• 形式化は合成的推論を支援し、DATRに基づく語彙表現の理論的信頼性を高めた。