[論文レビュー] OT SIMPLE - a construction-kit approach to Optimality Theory implementation

M. Walther|ArXiv.org|Nov 12, 1996

Phonetics and Phonology Research参考文献 10被引用数 41

ひとこと要約

この論文では、モジュラーで構成キット方式を採用した、自由に利用可能でオープンソースのフレームワーク、OT SIMPLE を提示する。このフレームワークは、文脈自由文法を用いた GEN の生成に BinProlog を活用し、制約を有限状態トランスダーサーとして 'sed' ストリームエディタで符号化する。候補の評価は、違反ベクトルの単純なソートにより実現され、効率的で実用的な OT 分析を可能にし、ヘッセン語の減数的複数化への応用を示している。

ABSTRACT

This paper details a simple approach to the implementation of Optimality Theory (OT, Prince and Smolensky 1993) on a computer, in part reusing standard system software. In a nutshell, OT's GENerating source is implemented as a BinProlog program interpreting a context-free specification of a GEN structural grammar according to a user-supplied input form. The resulting set of textually flattened candidate tree representations is passed to the CONstraint stage. Constraints are implemented by finite-state transducers specified as `sed' stream editor scripts that typically map ill-formed portions of the candidate to violation marks. EVALuation of candidates reduces to simple sorting: the violation-mark-annotated output leaving CON is fed into `sort', which orders candidates on the basis of the violation vector column of each line, thereby bringing the optimal candidate to the top. This approach gave rise to OT SIMPLE, the first freely available software tool for the OT framework to provide generic facilities for both GEN and CONstraint definition. Its practical applicability is demonstrated by modelling the OT analysis of apparent subtractive pluralization in Upper Hessian presented in Golston and Wiese (1996).

研究の動機と目的

• 計算言語学における最適性理論（OT）を実装するための、シンプルで再利用可能かつ公開可能なソフトウェアフレームワークの開発。
• 標準的なシステムツールと拡張可能なプログラミングパラダイムを用いて、GEN の構造的文法と CON の制約集合を一般化して指定可能にする。
• 上ハンザーマルトゥンの減数的複数化に対する形式的 OT 分析を通じて、実用的応用の有効性を示す。
• 直感的で透明性があり拡張性のある OT 実装環境を提供することで、教育的および研究的利用を支援する。
• 浮動語幹や複雑な屈曲現象の処理を可能にするために、事前に指定された構造や複数の入力ストリームといった拡張を検討する。

提案手法

• GEN は、文脈自由文法仕様を解釈する BinProlog プログラムとして実装され、入力形から候補出力構造を生成する。
• 制約は、不適切な候補構造に違反マーク（例：アsterisk）を付加する 'sed' ストリームエディタスクリプトとして符号化される。
• 候補評価（EVAL）は、違反マークが付加された出力を 'sort' コマンドにパイプすることで実行され、違反ベクトルの大きさに従って候補を順序付ける。
• 最適な候補は、違反ベクトルの辞書式順序に基づき、ソート後の出力の先頭に現れる。
• 複数の入力ストリームからの非決定的生成をサポートすることで、タガログ語の um 前置語の挿入など、浮動語幹のモデル化が可能になる。
• 構造の事前指定は、部分的な Prolog 項の統合によって実装され、GEN の出力を制限し、効率を向上させる。

実験結果

リサーチクエスチョン

• RQ1 標準的なシステムソフトウェアのみを用いて、汎用的で拡張可能かつ公開可能な OT 実装をどのように構築できるか？
• RQ2 OT における制約評価を、単純なテキスト処理およびソート操作に効果的に還元できるか？
• RQ3 論理プログラミングフレームワーク内で文脈自由文法仕様を用いて、GEN の生成をどのようにモジュラー化し再利用可能にするか？
• RQ4 ヘッセン語の減数的複数化のような複雑な屈曲現象が、このフレームワークを用いて形式的にモデル化され、検証可能か？
• RQ5 OT 分析において、事前指定構造と複数の入力ストリームの統合が、実用的および計算上の利点をもたらすか？

主な発見

• OT SIMPLE は、標準的な Unix ツールと BinProlog のみを用いて、GEN、CON、EVAL を含む完全な OT パイプラインを実装し、完全な一般性と再利用可能性を達成した。
• 'sed' スクリプトを用いた制約の符号化により、効率的なテキストベースの違反マーク付けが可能となり、二値制約および勾配制約の両方をサポートする。
• 'sort' コマンドによる違反マーク付き出力のソートにより、最適な候補が信頼性高く特定される。これにより、EVAL が単純なシステムレベルの操作に還元可能であることが示された。
• このフレームワークは、上ハンザーマルトゥンの減数的複数化の OT 分析に成功裏に適用され、言語的分析における実用的有用性が検証された。
• 事前指定構造や複数の入力ストリームといった拡張は、候補集合のサイズ削減や浮動語尾のモデル化において、実現可能で効果的であることが示された。
• システムの設計により、OT の理論的原則と直感的に整合するため、研究および教室利用に適した実装である。