[論文レビュー] Parsing syllables: modeling OT computationally

Michael Hammond|arXiv (Cornell University)|Oct 14, 1997

Natural Language Processing Techniques参考文献 1被引用数 51

ひとこと要約

この論文は、仮説的挿入と削除を回避し、周期的制約評価と局所的候補符号化を用いることで、最適性理論（OT）の音節化の計算的に効率的なパーサーを提案する。Prologベースの実装は、従来の方法と比較して指数関数的な速度向上を達成し、*COMPLEX、PARSE、ONSET、NOCODAといった制約の新しい再定式化を用いて、音節的パーサーの動作モデルを提供する。

ABSTRACT

In this paper, I propose to implement syllabification in OT as a parser. I propose several innovations that result in a finite and small candidate set. The candidate set problem is handled with several moves: i) MAX and DEP violations are not hypothesized by the parser, ii) candidates are encoded locally, and iii) EVAL is applied constraint by constraint. The parser I propose is implemented in Prolog. It has a number of desirable consequences. First, it runs and thus provides an existence proof that syllabification can be implemented in OT. There are a number of other desirable consequences as well. First, constraints are implemented as finite-state transducers. Second, the parser makes several interesting claims about the phonological properties of so-called nonrecoverable insertions and deletions. Third, the implementation suggests some particular reformulations of some of the benchmark constraints in the OT arsenal, e.g. *COMPLEX, PARSE, ONSET, and NOCODA.

研究の動機と目的

• 候補生成と制約評価の根幹的仮定を再考することで、OTパーサーの計算的非効率性に対処すること。
• ルールベースの変換ではなく、人間の音節化に類似したパーサー処理としての音節化をモデル化すること。
• OTがPrologと有限状態トランスデューサーを用いて有限かつ効率的なパーサーとして実装可能であることを示すこと。
• ONSETやNOCODAといった主要なOT制約を、計算的効率性と言語学的妥当性に整合する形で再定式化すること。
• OTが音声構造の実用的かつ動作可能なパーサーシステムとして実装可能であるという存在証明を提供すること。

提案手法

• MAXおよびDEPの違反を仮定しないことで、挿入および削除の候補を評価する必要がなくなり、候補空間の指数的膨張を回避する。
• 候補は局所的に符号化され、各候補は完全な候補集合を保持せず、現在の構造的状態で表現される。
• 制約評価（EVAL）は周期的に実行され、1つの制約ずつ評価することで計算オーバーヘッドを低減する。
• GENは有限状態トランスデューサーとして実装され、音節化候補の体系的かつ効率的な生成を可能にする。
• パーサーは左から右へのスキャンメカニズムを用い、制約ランクに基づく動的候補選択を行う。
• 制約階層は段階的に適用され、各段階で劣る候補が pruning され、最小限で最適な集合が維持される。

実験結果

リサーチクエスチョン

• RQ1 最適性理論は、すべての可能な候補を生成しないで、有限状態で計算的に効率的なパーサーとして音節化に実装可能か？
• RQ2 計算性能を向上させるために、標準的なOTの全候補集合生成の仮定をどのように緩和できるか？
• RQ3 計算制約のあるパーサーフレームワークから、ONSET や NOCODA のような主要制約がどのように再定式化されるか？
• RQ4 MAXおよびDEPの違反を明示的にモデル化しないことで、より言語学的かつ計算的に妥当なパーサーモデルが得られるか？
• RQ5 周期的制約評価と局所的候補符号化は、全候補集合評価と同等の最適な結果をもたらすが、指数関数的な時間的節約を達成できるか？

主な発見

• パーサーはPrologでOT音節化を実際に実装し、計算的OTパーサーの存在証明を提供する。
• MAXおよびDEPの違反を候補生成から排除することで、候補空間の指数的膨張を回避し、指数関数的な時間的節約を達成する。
• 周期的制約評価は、全候補に対して逐次評価する方法と比較して、処理時間を顕著に短縮する。
• モデルは、*COMPLEX、PARSE、ONSET、NOCODA といった制約が、グローバル比較ではなく、局所的・段階的評価を反映する形で再定式化されるべきであると示唆する。
• 実装は、GENが有限状態トランスデューサーとしてモデル化可能であることを示しており、効率的かつ体系的な候補生成を可能にする。
• パーサーは左から右への方向性を必要とせず、処理順序に依存しない方法でアルゴリズムを実装可能であることを示している。