阿西恩·阿查，罗伯托;罗德里戈洛佩斯;塞巴斯蒂安·哈格多恩;Jorge A.Baier。 多代理路径查找：一种新的布尔编码。 （英语） 兹伯利07603114 J.阿蒂夫。智力。研究（JAIR） 75, 323-350 (2022). 摘要：多代理寻路（MAPF）是一个NP-hard问题。因此，稠密映射可能很难以最佳方式求解。在这种情况下，基于编译的方法（通过布尔可满足性（SAT）和答案集编程（ASP））已被证明优于基于启发式搜索的方法，例如基于冲突的搜索（CBS）。本文提出了一种新的MAPF布尔编码，并说明了如何在ASP和MaxSAT中实现它。我们的编码与现有编码不同的一个特点是，交换和跟随冲突使用二进制子句进行编码，当前的冲突驱动子句学习（CDCL）求解器可以利用这一点。此外，用于编码交换和跟随冲突的子句的数量并不取决于代理的数量，这使我们可以更好地扩展。对于MaxSAT，我们研究了将MSU3和LSU算法结合起来以获得最大性能的不同方法。在我们的实验评估中，我们使用了从20乘20到50乘50的方格网格和仓库地图，以及不同数量的代理和障碍。我们与最先进的代表性求解器进行了比较，包括基于搜索的算法CBS、基于ASP的求解器ASP-MAPF和分支与价格混合求解器BCP。我们观察到，在我们的大多数实验中，我们编码的ASP实现ASP-MAPF2优于其他求解器。我们编码的MaxSAT实现，MtMS在代理数量较大时，在相对较小的仓库映射中表现出最佳性能，这些实例与难题类似。 MSC公司： 68泰克 人工智能 关键词：搜索多agent系统;逻辑程序设计;可满足性 PDF格式BibTeX公司 XML格式引用 \textit{R.Asín Achá}等人，J.Artif。智力。研究（JAIR）75，323--350（2022；Zbl 07603114） 全文： DOI程序 参考文献： [1] AAAI出版社 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。