論理的制約の射影演算を用いた単一化に基づく構文解析

概要

論文の詳細を見る
本論文では,単一化ベースの効率的な構文解析を行うための論理的制約充足法である制約射影を提案し,それを日本語のチャート解析へ応用して行った実験の結果を報告する.DCG流の項単一化の方法では,選言的素性記述を論理的制約で表し,論理的制約の充足によって単一化を行うことができる.効率的な論理的制約の充足方法として制約単一化が提案されている.制約単一化は論理的制約を変換することで充足と同等の処理を行う.制約単一化は,Prologを用いるより,結果がコンパクトになり,構文解析のように制約充足の結果がまた別の制約充足で用いられる場合に効率がよい.しかし,制約単一化は,解析が進むにしたがって制約中のリテラルの引数の数が増え,効率が悪くなるという欠点をもつ.制約射影は制約単一化を拡張したもので,論理的制約と,ゴールとよばれる変数リストを与えた時に,ゴール中の変数に関して,入力の制約と同等で,かつ,ゴール中の変数に関する情報しか持たせないような制約を出力する.制約射影を用いることによって,引数の増加を抑えることができる.制約単一化および制約射影をチャート解析に適用し,その計算時間およびメモリ使用量を比較した結果,制約射影が,より少ない時間,少ないメモリで解析することができた.また,入力文の複雑さが増すにしたがって,差が広がることが判明した.
一般社団法人情報処理学会の論文
1995-01-15

論理的制約の射影演算を用いた単一化に基づく構文解析

スポンサーリンク

概要

著者

関連論文

スポンサーリンク