対象概念に含まれる引数の入出力関係を完全にするために必要とされるリテラ ルの集合のことをパスセットと呼ぶ。このパスセットを事前に計算し、探索の ヒューリスティックとして利用することで、展開されるノードの数を抑制する ことが実現されている。今回の研究では、このパスセット計算自体の効率化を 行なった。具体的には、各本体部リテラルに含まれる-type変数に対して、 その`深さ'を定義し、それをパスセット計算のためのヒューリスティックとし て利用する。これにより、不必要なパスの計算を大幅に削減することに成功し た。