Improving Decision Diagrams for Decision Theoretic Planning

Jean-Christophe Magnan (1) , Pierre-Henri Wuillemin (1)

1 DECISION

In the domain of decision theoretic planning, the factored framework (FMDP) has produced optimized algorithms using Decision Trees (SVI, SPI) and Algebraic Decision Diagrams (SPUDD). However, the state-of-the-art SPUDD algorithm requires i) the problem to be specified with binary variables and ii) the data structures to share a common order on variables. In this article, we propose a new algorithm within the factored framework that eliminates both these requirements. We compare our approach to the SPUDD algorithm. Experimental results show that our algorithm allows significant gains in time, illustrating a better trade-off between theoretical complexity of algorithms and size of representation.

Domaines: Informatique [cs]

Jean-Christophe Magnan, Pierre-Henri Wuillemin. Improving Decision Diagrams for Decision Theoretic Planning. The Twenty-Sixth International FLAIRS Conference, May 2013, Palo Alto, California, United States. pp.621-626. ⟨hal-01218492⟩