FODD-Planner swMATH ID: 7747 Software Authors: Joshi, S.; Khardon, R. Description: Probabilistic relational planning with first order decision diagrams Dynamic programming algorithms have been successfully applied to propositional stochastic planning problems by using compact representations, in particular algebraic decision diagrams, to capture domain dynamics and value functions. Work on symbolic dynamic programming lifted these ideas to first order logic using several representation schemes. Recent work introduced a first order variant of decision diagrams (FODD) and developed a value iteration algorithm for this representation. This paper develops several improvements to the FODD algorithm that make the approach practical. These include new reduction operators that decrease the size of the representation, several speedup techniques, and techniques for value approximation. Incorporating these, the paper presents a planning system, FODD-Planner, for solving relational stochastic planning problems. The system is evaluated on several domains, including problems from the recent international planning competition, and shows competitive performance with top ranking systems. This is the first demonstration of feasibility of this approach and it shows that abstraction through compact representation is a promising approach to stochastic planning. Homepage: https://code.google.com/p/foddplanner/ Keywords: planning under uncertainty; first order decision diagrams (FODD); FODD-Planner; stochastic planning; dynamic programming; algebraic decision diagrams Related Software: FluCaP; Graphplan; GOLOG; ProbLog; iscasMc; Storm; PRISM; VAMPIRE; NMRDPP; IBAL; AgentSpeak; YACS; Smodels; PEORL; REBA; CCalc; BLOG; PREGO; Church; C4.5 Cited in: 15 Documents Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Probabilistic relational planning with first order decision diagrams. Zbl 1219.68145Joshi, S.; Khardon, R. 2011 all top 5 Cited by 26 Authors 4 Khardon, Roni 3 Joshi, Saket 2 De Raedt, Luc 2 van Otterlo, Martijn 1 Arruda, Edilson F. 1 Belle, Vaishak 1 Belzner, Lenz 1 Boutilier, Craig 1 de Laet, Tinne 1 Dobrev, Dimiter 1 Fragoso, Marcelo Dutra 1 Hescott, Benjamin J. 1 Kersting, Kristian 1 Lang, Tobias 1 Lee, Joohyung 1 Magnan, Jean-Christophe 1 Neubert, Stefanie 1 Nitti, Davide 1 Raskin, Jean-François 1 Sanner, Scott 1 Toussaint, Marc 1 Wang, Chenggang 1 Wang, Yi 1 Wirsing, Martin 1 Wuillemin, Pierre-Henri 1 Yang, Wen-Chi all top 5 Cited in 9 Serials 3 Artificial Intelligence 3 The Journal of Artificial Intelligence Research (JAIR) 2 Machine Learning 1 Journal of Algorithms 1 European Journal of Operational Research 1 Theory and Practice of Logic Programming 1 Journal of Applied Logic 1 Frontiers in Artificial Intelligence and Applications 1 Serdica Journal of Computing Cited in 3 Fields 13 Computer science (68-XX) 8 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year