結果 : problem reduction techniques in ai