Fast and Precise: Adjusting Planning Horizon with Adaptive Subgoal
  Search
  Complex reasoning problems contain states that vary in the computational cost
required to determine a good action plan. Taking advantage of this property, we
propose Adaptive Subgoal Search (AdaSubS), a search method that adaptively
adjusts the planning horizon. To this end, AdaSubS generates diverse sets of
subgoals at different distances. A verification mechanism is employed to filter
out unreachable subgoals swiftly and thus allowing to focus on feasible further
subgoals. In this way, AdaSubS benefits from the efficiency of planning with
longer subgoals and the fine control with the shorter ones. We show that
AdaSubS significantly surpasses hierarchical planning algorithms on three
complex reasoning tasks: Sokoban, the Rubik's Cube, and inequality proving
benchmark INT, setting new state-of-the-art on INT.
