Aysu Bogatarkan;埃斯拉·埃尔登 使用答案集编程生成具有最佳资源利用率的多模式多代理路径查找的解释。 (英语) Zbl 1468.68192号 理论与实践。日志。程序。 20,第6号,974-989(2020). 摘要:多智能体路径查找(MAPF)问题是一个组合搜索问题,旨在为多个智能体(如机器人)在一个环境(如自治仓库)中查找路径,使两个智能体不会相互碰撞,并受到路径长度的一些约束。我们考虑一种称为mMAPF的通用MAPF,它涉及多式联运模式(例如,由于速度限制)和不同类型资源(例如,电池)的消耗。mMAPF的实际应用需要灵活性(例如,求解mMAPF变量)以及可解释性。我们早期对mMAPF的研究集中于灵活性的挑战。在本研究中,我们重点关注后一个可解释性挑战,并介绍了一种方法,用于为有关解决方案的可行性和最佳性、解决方案的不存在性以及解决方案的观察结果的查询生成解释。我们的方法是基于答案集编程的。 MSC公司: 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 68N17号 逻辑编程 68立方英尺 知识表示 68T42型 Agent技术与人工智能 软件:辐条 PDF格式BibTeX公司 XML格式引用 \textit{A.Bogatarkan}和\textit{E.Erdem},理论与实践。日志。程序。20,第6号,974--989(2020;Zbl 1468.68192) 全文: 内政部 arXiv公司 参考文献: [1] Almagor,S.和Lahijanian,M.2020。可解释的多代理路径查找。程序中。AAMAS的。34-42. [2] Bogatarkan,A.、Erdem,E.、Kleiner,A.和Patoglu,V.2020。具有最优资源利用率的多模式多智能体路径搜索。《第五届先进制造业工业4.0模型国际会议论文集》,313-324。 [3] Bogatarkan,A.、Patoglu,V.和Erdem,E.2019。一种用于动态多智能体路径查找的声明性方法。第五届全球人工智能会议论文集。54-67. [4] Brain,M.、Gebser,M.,Pührer,J.、Schaub,T.、Tompits,H.和Woltran,S.2007。“这是不合逻辑的队长!”-用于应答程序的调试支持工具spock:系统描述。 [5] Cabalar,P.和Fandinno,J.,2016年。带有选言和因果选择规则的程序的理由。理论与实践。日志。程序。16,5-6, 587-603. ·Zbl 1379.68048号 [6] Cabalar,P.、Fandinno,J.和Fink,M.,2014年。逻辑程序的因果图证明。理论与实践。日志。程序。14,4-5, 603-618. ·Zbl 1309.68028号 [7] Calimeri,F.、Faber,W.、Gebser,M.、Ianni,G.、Kaminski,R.、Krennwallner,T.、Leone,N.、Ricca,F.和Schaub,T.2020。ASP-Core-2输入语言格式。理论与实践。日志。程序。20,2, 294-309. ·Zbl 1472.68180号 [8] Chouhan,S.S.和Niyogi,R.2015年。DMAPP:一种分布式多智能体路径规划算法。程序中。AI.123-135。 [9] Damásio,C.V.、Analyti,A.和Antoniou,G.2013。逻辑编程的理由。程序中。LPNMR。530-542中·Zbl 1405.68053号 [10] Dijkstra,E.W.1959。关于与图有关的两个问题的注记。数字。数学。1, 1, 269-271. ·Zbl 0092.16002号 [11] Dodaro,C.、Gasteiger,P.、Reale,K.、Ricca,F.和Schekotihin,K.2019。调试非地面ASP程序:技术和图形工具。理论与实践。日志。程序。19,2, 290-316. ·Zbl 1486.68025号 [12] Dresner,K.M.和Stone,P.2008。自治交叉口管理的多智能体方法。J.阿蒂夫。智力。研究(JAIR)31,591-695。 [13] Eifler,R.、Cashmore,M.、Hoffmann,J.、Magazzeni,D.和Steinmetz,M.2020。一种解释计划空间的新方法:分析超额订购计划中的计划-属性依赖。程序中。AAAI的。9818-9826. [14] Erdem,E.、Kisa,D.G.、Oztok,U.和Schueller,P.2013。多代理路径查找问题的通用形式框架。程序中。AAAI的。 [15] Erdem,E.和Oh ztok,U.2015。为生物医学查询生成解释。理论与实践。日志。程序。15,1, 35-78. ·Zbl 1379.68059号 [16] 范迪诺,J.和舒尔茨,C.2019。回答答案集编程中的“为什么”-解释方法的调查。理论与实践。日志。程序。19,2, 114-203. ·Zbl 1486.68026号 [17] Gebser,M.、Pührer,J.、Schaub,T.和Tompits,H.2008。一种用于调试应答程序的元程序设计技术。程序中。AAAI的。448-453. [18] Gelfond,M.和Lifschitz,V.1988。逻辑编程的稳定模型语义。国际逻辑程序设计会议和研讨会论文集。1070-1080. [19] Gelfond,M.和Lifschitz,V.1991。逻辑程序和析取数据库中的经典否定。新一代计算9,365-385·Zbl 0735.68012号 [20] Jansen,R.和Sturtevant,N.2008。合作寻路的新方法。程序中。AAMAS的。1401-1404. [21] Lifschitz,V.2002。答案集编程和计划生成。人工智能138,39-54·Zbl 0995.68020号 [22] Luna,R.和Bekris,K.E.2011。高效完整的集中式多机器人路径规划。程序中。IROS。3268-3275. [23] Marek,V.和Truszczynski,M.1999。稳定模型和替代逻辑编程范式。《逻辑编程范式:25年展望》。施普林格出版社,375-398·Zbl 0979.68524号 [24] 尼梅尔,I.1999。具有稳定模型语义的逻辑程序作为约束编程范式。数学与人工智能年鉴25,241-273·Zbl 0940.68018号 [25] Oetsch,J.、Pührer,J.和Tompits,H.2010。捕捉乌鸦:关于调试非地面应答程序。理论与实践。日志。程序。10,4-6, 513-529. ·Zbl 1213.68182号 [26] Pontelli,E.、Son,T.C.和El-Khatib,O.2009。答案集语义下逻辑程序的理由。理论与实践。日志。程序。9,1, 1-56. ·Zbl 1170.68005号 [27] Ratner,D.和Warmuth,M.K.1986。为15个谜题的n[times]n扩展找到一个最短解是很难的。程序中。AAAI的。168-172. [28] Schulz,C.和Toni,F.2013。基于Aba的答案集对齐。理论与实践。日志。程序。13、4-5-在线供应。 [29] Schulz,C.和Toni,F.2016。使用论证证明答案集的合理性。理论与实践。日志。程序。16,1, 59-110. ·兹比尔1379.68301 [30] Sharon,G.、Stern,R.、Felner,A.和Sturtevant,N.R.,2015年。基于冲突的搜索用于优化多智能体路径查找。Artif公司。智力。219, 40-66. ·Zbl 1328.68235号 [31] Silver,D.2005。合作寻路。程序中。AIIDE的。117-122. [32] Smith,D.E.2012。规划是一个迭代过程。程序中。AAAI的Hoffmann,J.和Selman,B.编辑。 [33] Stern,R.、Sturtevant,N.R.、Felner,A.、Koenig,S.、Ma,H.、Walker,T.T.、Li,J.、Atzmon,D.、Cohen,L.、Kumar,T.K.S.、BartáK,R.和Boyarski,E.2019。多代理寻路:定义、变体和基准。程序中。SOCS。151-159. [34] Surynek,P.2012。关于合作路径查找的命题编码。程序中。ICTAI。524-531. [35] Wang,K.-H.C.和Botea,A.2008。快速且节省内存的多代理寻路。程序中。ICAPS。380-387. [36] Yu,J.和Lavalle,S.M.2013。在图上规划多个机器人的最佳路径。程序中。ICRA。3612-3617. 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。