小暮潔, 加藤進
素性構造とその単一化アルゴリズムに関する検討
Abstract:本報告では、単一化に基づく言語処理における最も基本的な要素である素性構造
とその単一化アルゴリズムについて述べる。素性構造の基本的な性質について議論するととも
に、その拡張として、循環構造を含む素性構造、選言・否定を含む素性構造、および、タイプ付き
素性構造について議論する。その中でタイプとしての同一性に関する否定の新しい解釈を与え
る。そして、それらに関する単一化アルゴリズムについて述べる。循環構造を含む素性構造の
単一化アルゴリズム、トークンとしての同一性の否定を取り扱う単一化アルゴリズム、および、
タイプ付き素性構造の単一化アルゴリズムを新たに提案する。これらと選言を含む素性構造の
単一化アルゴリズムを組み合せて言語処理用の単一化プログラムの中で用いることができる。