Toropila, Daniel
When Planning Should Be Easy: On Solving Cumulative Planning Problems
Bartak, Roman (Charles University in Prague) | Dvorak, Filip (Charles University in Prague) | Gemrot, Jakub (Charles University in Prague) | Brom, Cyril (Charles University in Prague) | Toropila, Daniel (Charles University in Prague)
This paper deals with planning domains that appear in computer games, especially when modeling intelligent virtual agents. Some of these domains contain only actions with no negative effects and are thus treated as easy from the planning perspective. We propose two new techniques to solve the problems in these planning domains, a heuristic search algorithm ANA* and a constraint-based planner RelaxPlan, and we compare them with the state-of-the-art planners, that were successful in IPC, using planning domains motivated by computer games.
Enhancing Constraint Models for Planning Problems
Bartak, Roman (Charles University in Prague) | Toropila, Daniel (Charles University in Prague)
Planning problems deal with finding a sequence of actions that transfer the initial state of the world into a desired state. Frequently such problems are solved by dedicated algorithms but there exist planners based on translating the planning problem into a different formalism such as constraint satisfaction or Boolean satisfiability and using a general solver for this formalism. The paper describes how to enhance existing constraint models of planning problems by using techniques such as symmetry breaking (dominance rules), singleton consistency, and lifting.