Algebraic optimization of sequential decision problems
From MaRDI portal
Abstract: We study the optimization of the expected long-term reward in finite partially observable Markov decision processes over the set of stationary stochastic policies. In the case of deterministic observations, also known as state aggregation, the problem is equivalent to optimizing a linear objective subject to quadratic constraints. We characterize the feasible set of this problem as the intersection of a product of affine varieties of rank one matrices and a polytope. Based on this description, we obtain bounds on the number of critical points of the optimization problem. Finally, we conduct experiments in which we solve the KKT equations or the Lagrange equations over different boundary components of the feasible set, and compare the result to the theoretical bounds and to other constrained optimization methods.
Recommendations
Cites work
- Algebraic degree of polynomial optimization
- Certifying convergence of Lasserre's hierarchy via flat truncation
- Detecting Global Optimality and Extracting Solutions in GloptiPoly
- Finite state Markovian decision processes
- Geometry of policy improvement
- Global optimization with polynomials and the problem of moments
- GloptiPoly 3: moments, optimization and semidefinite programming
- HomotopyContinuation.jl: a package for homotopy continuation in Julia
- scientific article; zbMATH DE number 3128787 (Why is no real title available?)
- scientific article; zbMATH DE number 3148886 (Why is no real title available?)
- scientific article; zbMATH DE number 2067956 (Why is no real title available?)
- scientific article; zbMATH DE number 3291743 (Why is no real title available?)
- scientific article; zbMATH DE number 3327773 (Why is no real title available?)
- scientific article; zbMATH DE number 3067835 (Why is no real title available?)
- scientific article; zbMATH DE number 7689788 (Why is no real title available?)
- Julia: a fresh approach to numerical computing
- Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations
- Nonlinear Programming
- On the Computational Complexity of Stochastic Controller Optimization in POMDPs
- On the implementation of an interior-point filter line-search algorithm for large-scale nonlinear programming
- Optimality conditions and finite convergence of Lasserre's hierarchy
- Survey of linear programming for standard and nonstandard Markovian control problems. Part I: Theory
This page was built for publication: Algebraic optimization of sequential decision problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6051114)