concepts.pdsketch.crow.crow_planner.crow_recursive#

crow_recursive(executor, state, goal_expr, *, is_goal_serialized=True, enable_reordering=False, enable_csp=True, max_actions=10, max_csp_branching_factor=5, max_beam_size=20, allow_empty_plan_for_optimistic_goal=False, verbose=True)[source]#

Compositional Regression and Optimization Wayfinder.

Parameters:

  • executor (PDSketchExecutor) – the executor.

  • state (State) – the initial state.

  • goal_expr (str | ValueOutputExpression) – the goal expression.

  • is_goal_serialized (bool) – whether the goal is serialized already. Otherwise, it will be treated as a conjunction.

  • enable_reordering (bool) – whether to enable reordering of subgoals in regression rules.

  • max_actions (int) – the maximum number of actions in a plan.

  • verbose (bool) – whether to print verbose information.

  • enable_csp (bool) –

  • max_csp_branching_factor (int) –

  • max_beam_size (int) –

  • allow_empty_plan_for_optimistic_goal (bool) –

Returns:

A list of plans. Each plan is a tuple of (actions, csp, initial_state, final_state).

Return type:

Tuple[Iterable[Any], Dict[str, Any]]