[論文レビュー] Treating Coordination with Datalog Grammars

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

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

ひとこと要約

本論文は、データベースのクエリメカニズムにインspiredされた照査機構を活用することで、従来のアプローチを改善し、論理文法における並列構造のメタ文法的取り扱いを可能にする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）の限界を解決すること。
• 既存の論理文法的手法における並列構造処理における非効率性と表現力の欠如を克服すること。
• データベースのクエリメカニズムにインspiredされた、並列構造のメタ文法的取り扱いを可能にするDatalog文法の変種を導入すること。
• OLDT解釈に基づくDatalogベースの推論を用いて、並列構造の解析における性能と柔軟性の向上を実証すること。
• 今後の広範な言語的並列構造パターンに対するこのアプローチの評価の基盤を築くこと。

提案手法

• データベース理論に由来する再帰的かつ関係的構造を持つ文法規則を表現するため、Datalog文法形式を適応すること。
• 標準的なDatalog評価戦略を用いて照査可能なDatalog述語として並列規則を表現すること。
• 終了保証と効率的実行を確保するため、OLDT解釈を評価メカニズムとして採用すること。
• Datalogの関係的合成を用いて、部分構成要素の論理的結合として並列構成（例：フレーズ内の「and」や「or」）をモデル化すること。
• メタ文法的規則を用いて、さまざまな句構造カテゴリにわたる並列構造パターンの一般化を実現すること。
• 論理プログラミングフレームワークと統合することで、並列構造の解析と認識を支援すること。

実験結果

リサーチクエスチョン

• RQ1 自然言語の文法における並列構造は、論理文法を用いてより効果的にモデル化できるか？
• RQ2 Datalog文法は、従来のDCGよりも並列構造処理において、より高い効率性と表現力を提供できるか？
• RQ3 再帰的かつ合成的並列構造を処理するにあたり、データベースにインスパイアされた形式的枠組みの利点は何か？
• RQ4 Datalog文法における並列構造のメタ文法的取り扱いは、既存の手法と比較して、カバー範囲と終了性の点で優位性を示せるか？
• RQ5 標準的なDCGと比較して、OLDT解釈下でのDatalogベースのアプローチは、どのような性能向上を示すか？

主な発見

• 提案されたDatalog文法の変種は、論理文法における並列構造のより体系的かつ拡張可能な取り扱いを可能にする。
• Datalogの関係的モデルの使用により、文法規則と並列構造の論理の明確な分離が実現される。
• 特に再帰的かつ複雑な並列構造の処理において、OLDT解釈下で従来のDCGよりも高い効率性が示された。
• メタ文法的アプローチにより、NPの並列構造や文レベルの並列構造といった、さまざまな並列構造タイプの一般化が可能となった。
• 既存の論理プログラミングシステムへの統合の可能性は示唆されたが、さらなる実証的検証が求められる。
• 形式的枠組みは終了性と予測可能な実行をサポートしており、実用的な解析応用にとって不可欠である。