Towards Optimal Cooperative Path Planning in Hard Setups through Satisfiability Solving
A novel approach to cooperative path-planning is presented. A SAT solver is used not to solve the whole instance but for optimizing the makespan of a sub-optimal solution. This approach is trying to exploit the ability of stateof- the-art SAT solvers to give a solution to relatively small instance quickly. A sub-optimal solution to the instance is obtained by some existent method first. It is then submitted to the optimization process which decomposes it into small subsequences for which optimal solutions are found by a SAT solver. The new shorter solution is subsequently obtained as concatenation of optimal subsolutions. The process is iterated until a fixed point is reached. This is the first method to produce near optimal solutions for densely populated environments; it can be also applied to domain-independent planning supposed that suboptimal planner is available.
KeywordsBase Solution Primitive Action Inverse Location Populated Environment Cooperative Path
Unable to display preview. Download preview PDF.
- 2.Huang, R., Chen, Y., Zhang, W.: A Novel Transition Based Encoding Scheme for Planning as Satisfiability. In: Proceedings AAAI 2010. AAAI Press (2010)Google Scholar
- 3.Kautz, H., Selman, B.: Unifying SAT-based and Graph-based Planning. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), pp. 318–325. Morgan Kaufmann (1999)Google Scholar
- 4.Luna, R., Berkis, K.E.: Push-and-Swap: Fast Cooperative Path-Finding with Completeness Guarantees. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 294–300. IJCAI/AAAI Press (2011)Google Scholar
- 5.Ratner, D., Warmuth, M.K.: Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is Intractable. In: Proceedings of AAAI 1986, pp. 168–172. Morgan Kaufmann (1986)Google Scholar
- 6.Rintanen, J.: Compact Representation of Sets of Binary Constraints. In: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI 2006), pp. 143–147. IOS Press (2006)Google Scholar
- 8.Silver, D.: Cooperative Pathfinding. In: Proceedings of the 1st Artificial Intelligence and Interactive Digital Entertainment Conference (AIIDE 2005), pp. 117–122. AAAI Press (2005)Google Scholar
- 9.Standley, T.S.: Finding Optimal Solutions to Cooperative Pathfinding Problems. In: Proceedings of the 24th Conference on Artificial Intelligence (AAAI 2010). AAAI Press (2010)Google Scholar
- 10.Standley, T.S., Korf, R.E.: Complete Algorithms for Cooperative Pathfinding Problems. In: Proceedings of IJCAI 2011, pp. 668–673. IJCAI/AAAI Press (2011)Google Scholar
- 11.Surynek, P.: A Novel Approach to Path Planning for Multiple Robots in Bi-connected Graphs. In: Proceedings of the International Conference on Robotics and Automation (ICRA 2009), pp. 3613–3619. IEEE Press (2009)Google Scholar