Muestra la distribución de disciplinas para esta publicación.
Publicaciones WoS (Ediciones: ISSHP, ISTP, AHCI, SSCI, SCI), Scopus, SciELO Chile.
| Indexado |
|
||||
| DOI | |||||
| Año | 2020 | ||||
| Tipo | proceedings paper |
Citas Totales
Autores Afiliación Chile
Instituciones Chile
% Participación
Internacional
Autores
Afiliación Extranjera
Instituciones
Extranjeras
Solving a Multi-Agent Pathfinding (MAPF) problem involves finding non-conflicting paths that lead a number of agents to their goal location. In the sum-of-costs variant of MAPF, one is also required to minimize the total number of moves performed by agents before stopping at the goal. Not surprisingly, since MAPF is combinatorial, a number of compilations to Satisfiability solving (SAT) and Answer Set Programming (ASP) exist. In this paper, we propose the first family of compilations to ASP that solve sum-of-costs MAPF over 4-connected grids. Unlike existing compilations to ASP that we are aware of, our encoding is the first that, after grounding, produces a number of clauses that is linear on the number of agents. In addition, the representation of the optimization objective is also carefully written, such that its size after grounding does not depend on the size of the grid. In our experimental evaluation, we show that our approach outperforms search- and SAT-based sum-of-costs MAPF solvers when grids are congested with agents.
| Ord. | Autor | Género | Institución - País |
|---|---|---|---|
| 1 | Gomez, Rodrigo N. | Hombre |
Pontificia Universidad Católica de Chile - Chile
|
| 2 | HERNANDEZ-ULLOA, CARLOS MARCELO | Hombre |
Universidad Nacional Andrés Bello - Chile
|
| 3 | BAIER-ARANDA, JORGE ANDRES | Hombre |
Pontificia Universidad Católica de Chile - Chile
Instituto Milenio Fundamentos de los Datos - Chile |
| 4 | Assoc Advancement Artificial Intelligence | Corporación |