Variants of Independence Detection in SAT-Based Optimal Multi-agent Path Finding.
AGENTS AND ARTIFICIAL INTELLIGENCE (ICAART 2017)(2018)
摘要
In multi-agent path finding (MAPF) on graphs, the task is to find paths for distinguishable agents so that each agent reaches its unique goal vertex from the given start while collisions between agents are forbidden. A cumulative objective function is often minimized in MAPF. The main contribution of this paper consists in integrating independence detection technique (ID) into a compilation-based MAPF solver that translates MAPF instances into propositional satisfiability (SAT). The independence detection technique in searchbased solvers tries to decompose a given MAPF instance into instances consisting of small groups of agents with no interaction across groups. After the decomposition phase, small instances are solved independently and the solution of the original instance is combined from individual solutions to small instances. The presented experimental evaluation indicates significant reduction of the size of instances translated to the target SAT formalism and positive impact on the overall performance of the solver.
更多查看译文
关键词
Multi-agent path-finding (MAPF),Independence detection (ID) Propositional satisfiability (SAT),Cost optimality,Makespan optimality Sum-of-costs optimality,SAT encodings,Path-finding on grids
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络