Table of Contents
Fetching ...

Toward Learning POMDPs Beyond Full-Rank Actions and State Observability

Seiji Shaw, Travis Manderson, Chad Kessens, Nicholas Roy

TL;DR

This work develops a framework to learn discrete POMDP parameters from action-observation sequences by bridging Predictive State Representations with tensor-decomposition methods. By factorizing the Hankel matrix and recovering a similarity transform, the method obtains explicit transition and observation likelihoods up to a partition of states, enabling standard planning and reward specification. It demonstrates accurate recovery of partition-level transitions and observations and shows planning performance comparable to PSRs, while enabling reward-directed behavior from learned models. The approach broadens the applicability of spectral POMDP learning to systems with hidden states and partial observability, offering practical model-based planning benefits and a path toward scalable, structured POMDP identification.

Abstract

We are interested in enabling autonomous agents to learn and reason about systems with hidden states, such as furniture with hidden locking mechanisms. We cast this problem as learning the parameters of a discrete Partially Observable Markov Decision Process (POMDP). The agent begins with knowledge of the POMDP's actions and observation spaces, but not its state space, transitions, or observation models. These properties must be constructed from action-observation sequences. Spectral approaches to learning models of partially observable domains, such as learning Predictive State Representations (PSRs), are known to directly estimate the number of hidden states. These methods cannot, however, yield direct estimates of transition and observation likelihoods, which are important for many downstream reasoning tasks. Other approaches leverage tensor decompositions to estimate transition and observation likelihoods but often assume full state observability and full-rank transition matrices for all actions. To relax these assumptions, we study how PSRs learn transition and observation matrices up to a similarity transform, which may be estimated via tensor methods. Our method learns observation matrices and transition matrices up to a partition of states, where the states in a single partition have the same observation distributions corresponding to actions whose transition matrices are full-rank. Our experiments suggest that these partition-level transition models learned by our method, with a sufficient amount of data, meets the performance of PSRs as models to be used by standard sampling-based POMDP solvers. Furthermore, the explicit observation and transition likelihoods can be leveraged to specify planner behavior after the model has been learned.

Toward Learning POMDPs Beyond Full-Rank Actions and State Observability

TL;DR

This work develops a framework to learn discrete POMDP parameters from action-observation sequences by bridging Predictive State Representations with tensor-decomposition methods. By factorizing the Hankel matrix and recovering a similarity transform, the method obtains explicit transition and observation likelihoods up to a partition of states, enabling standard planning and reward specification. It demonstrates accurate recovery of partition-level transitions and observations and shows planning performance comparable to PSRs, while enabling reward-directed behavior from learned models. The approach broadens the applicability of spectral POMDP learning to systems with hidden states and partial observability, offering practical model-based planning benefits and a path toward scalable, structured POMDP identification.

Abstract

We are interested in enabling autonomous agents to learn and reason about systems with hidden states, such as furniture with hidden locking mechanisms. We cast this problem as learning the parameters of a discrete Partially Observable Markov Decision Process (POMDP). The agent begins with knowledge of the POMDP's actions and observation spaces, but not its state space, transitions, or observation models. These properties must be constructed from action-observation sequences. Spectral approaches to learning models of partially observable domains, such as learning Predictive State Representations (PSRs), are known to directly estimate the number of hidden states. These methods cannot, however, yield direct estimates of transition and observation likelihoods, which are important for many downstream reasoning tasks. Other approaches leverage tensor decompositions to estimate transition and observation likelihoods but often assume full state observability and full-rank transition matrices for all actions. To relax these assumptions, we study how PSRs learn transition and observation matrices up to a similarity transform, which may be estimated via tensor methods. Our method learns observation matrices and transition matrices up to a partition of states, where the states in a single partition have the same observation distributions corresponding to actions whose transition matrices are full-rank. Our experiments suggest that these partition-level transition models learned by our method, with a sufficient amount of data, meets the performance of PSRs as models to be used by standard sampling-based POMDP solvers. Furthermore, the explicit observation and transition likelihoods can be leveraged to specify planner behavior after the model has been learned.
Paper Structure (35 sections, 8 theorems, 33 equations, 8 figures, 6 tables, 1 algorithm)

This paper contains 35 sections, 8 theorems, 33 equations, 8 figures, 6 tables, 1 algorithm.

Key Result

Proposition 1

[carlyleRealizationsStochastic1971aballeSpectralLearning2014] Let $\mathcal{H} = A V^T$ be a rank factorization of a Hankel matrix $\mathcal{H}$ with $\mathop{\mathrm{rank}}\nolimits(\mathcal{H}) = r$ formed from a POMDP with initial state $b_{\pi}$, transition matrices $\{T^a\}$ and observation mat

Figures (8)

  • Figure 1: Sense-Float-Reset. Edges are labeled with transition probabilities, and nodes are labeled with observations and reward received upon leaving the state. The reward of a state is zero unless specified otherwise. Observability partitions are represented by node shade.
  • Figure 2: An illustration of Theorem \ref{['thm:coarse-grain-marg-and-trans']} applied to Sense-Float-Reset. Summing indices over partitions, represented by box shades, will compute the likelihood of the system state in that partition.
  • Figure 3: Error bars represent standard deviation over 100 seeds. The y-axis is scaled to make convergence visible. Row 1: Estimated number of states. Row 2: Obs. matrix error relative to ground truth. Row 3: Trans. matrix error. This error is only measurable once the estimated number of states matches that of ground truth, which truncates the curves. Row 4: Total reward from planner under different sampling strategies (see Appendix \ref{['sec:appendix-sampling-strategies']}).
  • Figure 4: The agent receives +1 reward for each timestep in the designated goal state (middle of hallway). 'Obs' refers to assigning rewards to action-observation pairs, whereas 'state' refers to assigning rewards to states. Error bars report standard deviation over 100 seeds.
  • Figure 5: The ratio of the $r$th condition number over the largest condition number of Hankel matrices as the amount of observed data increases, where $r = |S|$ is the number of states of the POMDP. Each plot is averaged over 100 runs. The matrices become more singular as the amount of data increases. The sizes of the Hankel matrix correspond with Table \ref{['tab:exp-params']}.
  • ...and 3 more figures

Theorems & Definitions (12)

  • Proposition 1
  • Theorem 1
  • Lemma 1
  • Lemma 2
  • Theorem 2: Ergodic Theorem, norrisDiscretetimeMarkov1997
  • Lemma 3
  • proof
  • proof
  • Remark
  • Lemma 4
  • ...and 2 more