[論文レビュー] The GF Mathematics Library

Jordi Saludes, Sebastian Xambó|arXiv (Cornell University)|Feb 22, 2012

Natural Language Processing Techniques参考文献 9被引用数 5

ひとこと要約

本稿では、文法的フレームワーク（GF）とOpenMath規格に基づいて構築された多言語対応の数学的テキスト処理システム、GF Mathematics Library（MGL）を紹介する。このシステムにより、複数の言語で書かれた文章問題を形式的意味論的に解析できる。自然言語理解とSageなどのコンピュータ代数システム（CAS）を統合し、『アヒルとウサギ』の古典的問題のような文章問題を、形式的数学的意味論を用いて複数の言語で解析・表示・解釈することが可能である。

ABSTRACT

This paper is devoted to present the Mathematics Grammar Library, a system for multilingual mathematical text processing. We explain the context in which it originated, its current design and functionality and the current development goals. We also present two prototype services and comment on possible future applications in the area of artificial mathematics assistants.

研究の動機と目的

• 高校および1年次大学レベルの数学的テキスト処理を対象とするモジュラーで多言語対応のシステムの開発。
• WebALTプロジェクトの元々の文法システムに見られる制限、特にモジュラリティの欠如と最新のGFバージョンとの互換性の欠如を解決すること。
• フィンランド語、ドイツ語、ルーマニア語などの追加言語への対応を拡張しながら、意味論的一致性と保守性を保証すること。
• コンピュータ代数システム（CAS）および定理証明支援システム（CTP）との統合を可能にし、高度な数学アシスタント機能を実現すること。
• 新規言語や意味的構成要素をライブラリに追加するための体系的かつ拡張可能なメソッドの確立。

提案手法

• GF 3.1を用いて実装され、抽象構文を用いて数学的意味論を形式的に表現し、具体的な文法を用いて多言語での表示を実現する。
• 意味的コンテンツはOpenMathコンテンツ辞書（CD）に基づき、機械で解釈可能な数学的意味を保証する。
• 未知語（例：'ducks'、'rabbits'）を数学的対象として解釈するために、WordNetの照会を用いて自然言語の解析を強化する。
• 数学的式は形式論理にマッピングされる。例：'100 animals' は |A ∩ in(f)| = 100 に変換され、集合的および基数的制約が反映される。
• gfsageを介してSageとの統合が可能となり、自然言語コマンドがCAS操作を起動できる。
• 双方向処理が可能である：自然言語から形式的意味論へ、および形式的意味論から多言語での表示へ。

実験結果

リサーチクエスチョン

• RQ1 数学的文章問題において、形式的意味論的表現を複数の自然言語に一貫して対応付ける方法は何か？
• RQ2 GFとOpenMathを用いて、多言語対応の数学的テキスト処理を可能にするモジュラーかつ拡張可能な文法ライブラリを構築できるか？
• RQ3 自然言語コマンドを、Sageのようなコンピュータ代数システムで実行可能な操作に信頼性高く変換できるか？
• RQ4 新規の数学的構成要素や言語を追加するにあたり、一貫性と信頼性を保証する体系的な手順は何か？
• RQ5 WordNetなどの言語リソースと形式的意味論を統合することで、文章問題の機械処理をどのように向上できるか？

主な発見

• GF Mathematics Libraryは、カタルーニャ語、英語、フィンランド語、フランス語、ドイツ語、イタリア語、ルーマニア語、スペイン語、スウェーデン語を含む複数の言語で、古典的『アヒルとウサギ』の文章問題を正しく解析・表示できる。
• 自然言語の記述が形式的数学的式に正しくマッピングされ、|A ∩ in(f)| = 100 および |L ∩ in(A ∩ in(f))| = 260 といった表現により、数量的および集合的関係が正確に捉えられる。
• gfsageを介したSageとの統合により、自然言語入力が計算操作を起動できることを示し、インタラクティブな数学アシスタントの実現可能性を実証した。
• OpenMath CDに基づくモジュラー設計により、ライブラリは体系的に拡張可能かつ保守可能であり、新規言語や意味的構成要素の対応が可能である。
• 一貫した意味論を備えた信頼性の高い多言語翻訳が可能であり、プロトタイプサービスおよび文法拡張手順による検証がなされた。
• 母語話者による検証が必要な段階まで、自動生成による言語モジュールの作成が可能であり、言語的および数学的正確性が保証される。