commutative 述語(加乗算など、入力引数を置換しても出力に影響を与えない 述語)を起因として発生する同一仮説の重複生成について考察を行ない、探索 におけるcommutative 述語の扱いに関して精密化を行なった。これにより、 commutative 述語による同一仮説の重複生成が完全に排除され、ある意味で探 索空間のさらなる縮小が達成された。
