loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Author: Pavel Surynek

Affiliation: Faculty of Information Technology, Czech Technical University in Prague, Thákurova 9, 160 00 Praha 6 and Czech Republic

Keyword(s): Conflicts, MAPF, Token Swapping, Token Rotation, Token Permutation, SMT, SAT.

Related Ontology Subjects/Areas/Topics: Agents ; Artificial Intelligence ; Constraint Satisfaction ; Cooperation and Coordination ; Formal Methods ; Industrial Applications of AI ; Informatics in Control, Automation and Robotics ; Intelligent Control Systems and Optimization ; Mobile Agents ; Planning and Scheduling ; Robot and Multi-Robot Systems ; Simulation and Modeling ; Soft Computing ; State Space Search ; Symbolic Systems

Abstract: We address conflict reasoning in generalizations of multi-agent path finding (MAPF). We assume items placed in vertices of an undirected graph with at most one item per vertex. Items can be relocated across edges while various constraints depending on the concrete type of MAPF must be satisfied. We recall a general problem formulation that encompasses known types of item relocation problems such as multi-agent path finding (MAPF) and token swapping (TSWAP). We show how to express new types of relocation problems in the general problem formulation. We thoroughly evaluate a novel solving method for item relocation that combines satisfiability modulo theory (SMT) with conflict-based search (CBS). CBS is interpreted in the SMT framework where we start with the basic model and refine the model with a collision resolution constraint whenever a collision between items occurs. The key difference between the standard CBS and the SMT-based modification of CBS (SMT-CBS) is that the standard CBS branches the search to resolve the collision while SMT-CBS iteratively adds a single disjunctive collision resolution constraint. Our experimental evaluation revealed that although SMT-CBS performs better than CBS in small densely occupied instances of variants of MAPF, it is outperformed on large sparsely occupied environments. The performed analysis shows that individual paths in large environments of relocation instances can be found faster using simple A*-based algorithm than by the SMT solver. On the other hand the SMT solver performs better when many conflicts between items need to be resolved. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.146.154.243

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Surynek, P. (2019). Conflict Handling Framework in Generalized Multi-agent Path finding: Advantages and Shortcomings of Satisfiability Modulo Approach. In Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART; ISBN 978-989-758-350-6; ISSN 2184-433X, SciTePress, pages 192-203. DOI: 10.5220/0007374201920203

@conference{icaart19,
author={Pavel Surynek.},
title={Conflict Handling Framework in Generalized Multi-agent Path finding: Advantages and Shortcomings of Satisfiability Modulo Approach},
booktitle={Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART},
year={2019},
pages={192-203},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007374201920203},
isbn={978-989-758-350-6},
issn={2184-433X},
}

TY - CONF

JO - Proceedings of the 11th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART
TI - Conflict Handling Framework in Generalized Multi-agent Path finding: Advantages and Shortcomings of Satisfiability Modulo Approach
SN - 978-989-758-350-6
IS - 2184-433X
AU - Surynek, P.
PY - 2019
SP - 192
EP - 203
DO - 10.5220/0007374201920203
PB - SciTePress