Source-linked AI summary

Value Function Spaces: Skill-Centric State Abstractions for Long-Horizon Reasoning

Dhruv Shah, Peng Xu, Yao Lu, Ted Xiao, Alexander Toshev, Sergey Levine, Brian Ichter

arXiv:2111.03189v2cs.LGcs.AIcs.RO

TL;DR

Long-horizon reinforcement-learning tasks require reasoning over and chaining lower-level skills, but hierarchical methods also need state abstractions suited to those skills. The paper represents states with the value functions of available skills, and reports improved long-horizon performance and zero-shot generalization in maze-solving and robotic manipulation.

  • Problem

    Long-horizon tasks require reasoning over and chaining skills, while hierarchical reinforcement learning needs state abstractions suited to the capabilities of its available skills.

    Source: §1 · p. 1
  • Method

    Value Function Spaces represent states by stacking the value functions of available low-level skills to capture their affordances.

    Source: §1 · p. 2, §4 · p. 4
  • Results

    VFS improves long-horizon task performance and zero-shot generalization to novel environments in maze-solving and robotic manipulation.

    Source: §1 · p. 2, §7 · p. 9
  • Takeaways & Limitations

    Skill-value representations encode invariances to exogenous factors that do not affect skill values, supporting generalization to novel environments.

    Source: §4 · p. 4, §7 · p. 9

    The work assumes full observability for image-based problems and does not explicitly address partial observability.

    Source: §3 · p. 4

Abstract

from arXiv · show

Reinforcement learning can train policies that effectively perform complex tasks. However for long-horizon tasks, the performance of these methods degrades with horizon, often necessitating reasoning over and chaining lower-level skills. Hierarchical reinforcement learning aims to enable this by providing a bank of low-level skills as action abstractions. Hierarchies can further improve on this by abstracting the space states as well. We posit that a suitable state abstraction should depend on the capabilities of the available lower-level policies. We propose Value Function Spaces: a simple approach that produces such a representation by using the value functions corresponding to each lower-level skill. These value functions capture the affordances of the scene, thus forming a representation that compactly abstracts task relevant information and robustly ignores distractors. Empirical evaluations for maze-solving and robotic manipulation tasks demonstrate that our approach improves long-horizon performance and enables better zero-shot generalization than alternative model-free and model-based methods.

1 INTRODUCTION

Long-horizon tasks require agents to infer scene affordances and sequence low-level skills, while useful hierarchical planning needs state abstractions as well as action abstractions. The paper proposes Value Function Spaces, which use skill value functions to represent affordances and abstract functionally equivalent states for planning.

1 INTRODUCTION

  • Long-horizon task solving requires inferring scene contents and affordances, then sequencing simple skills such as picking, placing, and opening drawers.The agent must determine which skills are appropriate and plan their order.Source: §1 · p. 1
  • Hierarchical reinforcement learning typically abstracts actions, but high-dimensional observations also make state abstraction important for simplifying perception and planning.The suitable state abstraction depends on the decisions required by the available skills.Source: §1 · p. 1
  • VFS stacks the value functions of available low-level skills into a state representation for high-level planning.The skills are used as high-level actions without modification; skill discovery and test-time adaptation are outside the paper’s scope.Source: §1 · p. 2
  • By mapping states with different object or arm positions, backgrounds, and distractors to the same embedding, VFS simplifies planning and supports generalization to novel environments.The states are functionally equivalent in terms of the skills available for planning.Source: §1 · p. 2
  • VFS outperforms contrastive and information-theoretic representations on long-horizon tasks and generalizes zero-shot to novel environments.The paper evaluates maze-solving and robotic manipulation tasks.Source: §1 · p. 2

2 RELATED WORK

Prior hierarchical reinforcement learning work has focused on temporal and skill abstractions, skill learning, and representations for control and planning. This paper assumes skills are given and focuses on skill-grounded state representations for composing them over long horizons.

2 RELATED WORK

  • Hierarchical reinforcement learning commonly treats hierarchy as temporal abstraction, with options providing temporally extended actions, but high-dimensional observations make option-model planning challenging.Prior work has studied sample-based planning in discrete and continuous state spaces.Source: §2 · p. 2
  • Prior work improves lower-level policies through skill discovery, end-to-end training, and goal-conditioned behaviors; this paper instead assumes skills are given.Its focus is a representation suitable for model-based or model-free high-level control.Source: §2 · p. 3
  • Prior skill-composition methods combine skills through value functions or pseudo-rewards, whereas this work uses value functions to build a state abstraction for composing skills.The paper also provides a high-level policy for temporally extended tasks.Source: §2 · p. 3
  • Representation-learning approaches have used reconstruction, future prediction, contrastive learning, and transfer objectives, while this work grounds representations in low-level skill capabilities.The paper reports generalization to novel environments while remaining robust to functionally irrelevant distractors.Source: §2 · p. 3
  • Model-based RL research includes learned dynamics, belief representations, bisimulation, and graph- or tree-based planning; this paper uses its state abstraction with model-based controllers.Developing a better model-based algorithm is not the paper’s primary objective.Source: §2 · p. 3

3 PRELIMINARIES

The setting assumes a finite set of temporally extended skills, each with a bounded rollout and an associated value function. The high-level policy selects among these skills under a fully observable SMDP formulation.

3 PRELIMINARIES

  • The agent is assumed to have a finite set of temporally extended skills, whose production is not addressed in this work.The paper notes that prior work has produced skills through manual rewards, relabeling, or unsupervised discovery.Source: §3 · p. 3
  • Each skill has a maximum rollout length and an associated critic estimating its expected cumulative skill reward from the current state.The paper notes that value functions may be obtained through policy evaluation for skills that do not already have them.Source: §3 · pp. 3–4
  • The options framework describes skills through a policy, termination condition, and initiation set; this work does not assume an initiation set and uses value functions to provide that information.Skills are assumed to have a termination condition or fixed horizon.Source: §3 · p. 4
  • The high-level decision problem is formulated as a fully observable SMDP with continuous states, finite temporally extended skills, transitions, rewards, and a discount factor.The high-level policy selects among the available skills.Source: §3 · p. 4
  • The paper assumes full observability for image-based problems and leaves explicit treatment of partial observability outside its scope.In partially observed problems, the full observation-action history may be needed to describe state.Source: §3 · p. 4

4 SKILL VALUE FUNCTIONS AS STATE SPACES

Value Function Spaces represent states using the values of available low-level skills, capturing the affordances those skills provide. The resulting skill-centric representation can encode scene information relevant to planning while abstracting away variations that do not affect skill values.

4 SKILL VALUE FUNCTIONS AS STATE SPACES

  • Because value predicts skill capabilities, a representation derived from skill values captures low-level skill affordances for high-level planning.The paper empirically evaluates the representation’s effectiveness for planning.Source: §4 · p. 4
  • VFS maps each state to a k-dimensional embedding formed by stacking the value functions of k available skills.The paper presents this as a state abstraction capturing functional information about the agent’s interactions with the environment.Source: §4 · p. 4
  • The skill-value representation can encode scene positions, skill preconditions, and the effects of executing feasible skills for high-level planning.In the desk example, high “Pick” values indicate liftable blocks, and the “Open Drawer” value increases after that skill is executed.Source: §4 · p. 4
  • VFS is intended to ignore exogenous variations such as background distractors and task-irrelevant objects, enabling generalization to novel environments with the same skills.The paper illustrates functionally equivalent configurations that differ in arm pose, desk color, or additional objects.Source: §4 · p. 4

5 MODEL-FREE RL WITH VALUE FUNCTION SPACES

The section evaluates VFS as a skill-based state abstraction for model-free hierarchical RL, using DDQN to select temporally extended skills. In MiniGrid, VFS outperforms the comparison representations on long-horizon maze tasks and zero-shot transfer from KeyCorridor to MultiRoom.

5.1 AN ALGORITHM FOR HIERARCHICAL RL

  • The high-level controller learns a Q-function over VFS states and skills as temporally extended actions, using DDQN with a slower-updated target network and fixed low-level skills.The authors use a simple DDQN pipeline to evaluate VFS as a state representation, rather than focusing on improved model-free RL algorithms.Source: §5.1 · p. 5

5.2 EVALUATING LONG-HORIZON PERFORMANCE IN MAZE-SOLVING

  • MiniGrid experiments compare representations on fully observable MultiRoom mazes of up to 10 rooms and KeyCorridor tasks of up to 7 rooms, with sparse goal rewards and tasks potentially exceeding 200 steps.The low-level skills include GoToObject, PickupObject, DropObject, and UnlockDoor; holdout MultiRoom layouts are used for zero-shot evaluation.Source: §5.2 · p. 5
  • VFS scores 98% on the simplest maze task and up to 68% on the most challenging, outperforming all baselines and beating the next-best method by over 25%.Table 1 reports success rates across increasing room counts; the authors note VFS is largely orthogonal to other representation-learning algorithms and can be combined with them.Source: Table 1 · p. 6, §5.2 · p. 6
  • Offline AE and CPC improve smaller-task performance but not larger tasks, while online VAE and CURL improve across tasks; VFS performs best across all tasks.The authors hypothesize that representations learned independently of the controller may miss information needed by the high-level policy; VFS instead captures low-level skill capabilities.Source: §5.2 · p. 6

5.3 ZERO-SHOT GENERALIZATION

  • VFS generalizes zero-shot from KeyCorridor to MultiRoom, outperforming the next-best baseline by up to 180% and closely matching HRL trained from scratch in the target environment.The high-level agent is not trained in MultiRoom, and policies are not updated in target environments; the evaluation considers MultiRoom with 4 and 10 rooms.Source: Table 2 · p. 7, §5.3 · p. 7

6 MODEL-BASED PLANNING WITH VALUE FUNCTION SPACES

VFS-MB uses value-function states for model-based planning over low-level skills. In robotic manipulation, it outperforms alternative representations and approaches oracle performance, while its scene embeddings capture objects and skill affordances.

6 MODEL-BASED PLANNING WITH VALUE FUNCTION SPACES

  • VFS-MB uses VFS as the state representation for planning and is evaluated against alternative representations and oracle state.The section studies this model-based approach in robotic manipulation.Source: §6 · p. 7

6.1 A SIMPLE ALGORITHM FOR MODEL-BASED RL

  • A one-step supervised model predicts the next VFS state; random shooting scores candidate skill sequences against the goal, and model-predictive control executes one skill before replanning.The model operates over high-level policy steps, each of which may span multiple low-level skill steps.Source: §6.1 · pp. 7–8
  • The study tests VFS as a representation rather than optimizing the model-based algorithm; more sophisticated models and planning methods are outside scope and could improve performance.The authors specifically mention adjusted sampling methods and path-integral optimal control as possible alternatives.Source: §6.1 · p. 8

6.2 APPLICATION: ROBOTIC MANIPULATION

  • Evaluation uses randomized O5/O10 layouts with horizons H=7/15, 90 MoveANearB skills, and raw-image, VAE, CPC, and oracle-state baselines.The simulated manipulation task uses an 8-DoF arm and visual observations.Source: §6.2 · p. 8
  • 80% O10 task success with VFS closely matches the oracle's 85%; VFS also succeeds in all O5 tasks.Table 3 reports success rates for robotic manipulation.Source: Table 3 · p. 9, §6.2 · p. 9
  • Unlabeled t-SNE clusters show VFS grouping observations across trajectories by objects and affordances while ignoring table-object and arm poses.The visualizations include different objects held by the arm and objects remaining on the table.Source: §6.2 · p. 9, Figure 6 · p. 9

7 DISCUSSION

VFS represents states using the affordances of available low-level skills and is compatible with model-free and model-based hierarchical policies. The work uses pre-specified skills and leaves their learning to future research.

7 DISCUSSION

  • VFS encodes state using low-level skill value functions and is compatible with both model-free and model-based hierarchical policies, with reported gains on long-horizon tasks and zero-shot generalization.The authors connect the generalization benefit to invariances in the representation.Source: §7 · p. 9
  • The work assumes a pre-specified skill set and does not address skill learning; jointly improving skills and the high-level policy is left for future work.The authors also suggest using unsupervised skill discovery as a route to unsupervised representation learning.Source: §7 · p. 9

REPRODUCIBILITY STATEMENT

VFS is designed to fit existing model-based and model-free pipelines, with its embedding formed by concatenating available skills' value functions.

REPRODUCIBILITY STATEMENT

  • VFS implementation concatenates available skills' value functions into an embedding vector for hierarchical RL or planning.The paper points to Sections 5.1 and 6.1 and Appendix A for setup information.Source: REPRODUCIBILITY STATEMENT · p. 10

A IMPLEMENTATION DETAILS

The appendices describe model-free MiniGrid experiments and model-based robotic-manipulation experiments, including their skills, representations, evaluation, and predictive-model setup.

A.1 MODEL-FREE RL

  • MiniGrid experiments use MultiRoom and KeyCorridor environments, with a 10-room modification made fully observable through a top-down grid view.The registered environments include MultiRoom variants with two, four, and six rooms and KeyCorridor variants.Source: §2 · p. 17, §A.1 · p. 17, §1 · p. 17

2. KeyCorridor

  • The maze-solving agents use 13 temporally extended skills, including trained text-conditioned GoTo skills capped at 50 steps and oracular remaining skills.Invalid key and unlock actions in MultiRoom leave the world unchanged; GoTo skills use sparse success rewards without shaping or relabeling.Source: §2 · p. 17

A.1 MODEL-FREE RL

  • Model-free baselines use 13-dimensional embeddings; AE and CPC train offline on 10^5 skill-collected observations, and HRL policies train to convergence.High-level control uses Double-DQN, with four fully connected layers for represented inputs and a convolutional network for raw observations.Source: §2 · p. 17

2. KeyCorridor

  • MiniGrid evaluation averages success across five seeds and 20 layouts per task and environment size; generalization uses the same setting.The report states 100 experimental runs per baseline per task.Source: §2 · p. 18

A.2 MODEL-BASED RL

  • For manipulation, a one-step skill-dynamics model is trained on one million open-loop transitions, and representations are evaluated on 20 random start-goal configurations.Success requires all semantic or proximity relations to hold, with objects considered close below 5 cm.Source: §A.2 · p. 18

B ADDITIONAL EXPERIMENTS AND ABLATIONS

This section presents additional metrics, ablations, and extended analysis of the Section 5.2 experiments.

B.1 COMBINING WITH REPRESENTATION LEARNING

The appendix tests combining VFS with learned representations and increasing the embedding sizes of baseline methods.

B.1 COMBINING WITH REPRESENTATION LEARNING

  • Adding VFS to learned embeddings improves SPL by up to 100% over the original baselines, while added baselines improve up to 9% over vanilla VFS, sometimes insignificantly.SPL weighs success by the optimality of actions; the reported results suggest most of the performance gain comes from VFS.Source: §B.1 · p. 18, Table 4 · p. 19

B.2 INCREASING EMBEDDING SIZE OF BASELINES

  • VFS continues to outperform CURL, AE, and VAE on maze-solving when their embedding sizes increase to 2x and 5x.Some baselines improve marginally with larger embeddings.Source: §B.2 · p. 19, Table 5 · p. 19

B.3 EXAMPLE ROLLOUTS

The rollout examples illustrate how skill values reflect preconditions and outcomes, including a changing object relationship during manipulation.

  • In Figure 7, the coffee-cup skill value is high before pickup and reaches 1 after the cup is picked up.The passage interprets these values as the skill precondition and success outcome, respectively.Source: §B.3 · p. 20, Figure 7 · p. 20
  • In Figure 8, values for the cup, bottle, and bowl are high beforehand, while the cup’s value reaches 1 when it is picked up.Source: §B.3 · p. 20, Figure 8 · p. 21
  • In Figure 9, values for picking the bowl rise while the apple is inside it, then drop sharply when the apple falls off.The passage describes this as a complex affordance captured by VFS.Source: §B.3 · p. 20, Figure 9 · p. 21
  • The authors describe these few rollouts as examples of expected VFS behavior that qualitatively captures preconditions and outcomes.Source: §B.3 · p. 20
Loading 2111.03189v2…