パスセットを利用する探索は、(1)今後展開しても入出力関係が完全になる可 能性の全くないノードの削除、(2)探索の初期における入出力関係完全な仮説 の生成、という利点を持つ。(1)は探索空間の実質的な縮小であり、(2)は枝苅 り基準の早期発見と捉えられる。 今回の研究では、これらをさらに発展させ、 初期入出力完全仮説の導入を行なった。これは、探索の初期仮説として、頭部 のみからなる仮説ではなく、入出力関係が完全である複数の仮説を採用すると いうものである。これにより、探索の過程で生成される仮説は、必ず入出力関 係が完全であるということが保証される。