×

ASP中多智能体认知规划建模。 (英语) Zbl 1468.68251号

概要:设计能够对世界进行推理和行动的代理一直是人工智能社区的主要目标之一。虽然在“简单”领域中进行规划时,代理人只能依赖关于世界的事实,在经济、安全、司法和政治等多种情况下,仅仅了解世界可能不足以实现预期目标。在这些场景中,认知的推理,即关于代理人对自己和其他代理人的信念的推理,对于设计获胜策略至关重要。本文利用声明式编程技术解决了多智能体认知环境中的推理问题。特别是,本文介绍了一个基于多热点答案集编程的规划器的实际实现,该规划器可以在多智能体认知设置中进行推理,称为普拉托(e)P(P)湿疹L(左)ti-代理A类回答seT型编程O(运行)lver)。ASP范式实现了规划器的简洁和优雅设计,以及其他命令式实现,促进了正确性正式验证的开发。本文展示了规划师如何利用特殊的认知状态表示和ASP求解器的效率,在从文献中收集的基准上获得具有竞争力的性能结果。

MSC公司:

68T42型 Agent技术与人工智能
68N17号 逻辑编程
68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
68T27型 人工智能中的逻辑
68立方英尺 知识表示

软件:

克林戈
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Aczel,P.1988。无资金支持的集合。CSLI课堂讲稿,14,斯坦福大学,语言与信息研究中心·Zbl 0668.04001号
[2] Baral,C.、Gelfond,G.、Pontelli,E.和Son,T.C.2015。多代理域的动作语言:基础。CoRR abs/1511.01960·Zbl 1401.68298号
[3] Baral,C.、Gelfond,G.、Son,T.和Pontelli,E.2010。使用答案集编程对涉及代理对他人知识的知识的多代理场景进行建模。AAMAS议事录,第1卷,259-266。
[4] Bolander,T.和Andersen,M.2011。单智能体和多智能体系统的认知规划。应用非经典逻辑杂志21,1,9-34·Zbl 1242.68285号
[5] Castellini,C.、Giunchiglia,E.和Taccella,A.2001。改进基于卫星的一致性规划。第六届欧洲规划会议记录(ECP-01)·Zbl 1082.68799号
[6] De Weerdt,M.、Bos,A.、Tonino,H.和Witteveen,C.2003。多代理计划合并的资源逻辑。安。数学。Artif公司。智力。37,1-2,93-130·Zbl 1023.68097号
[7] De Weerdt,M.和Clement,B.2009。介绍多智能体系统中的规划。多代理和网格系统5、4、345-355。
[8] Dovier,A.2015年。逻辑编程和互模拟。在ICLP中,Vos,M.D.、Eiter,T.、Lierler,Y.和Toni,F.,编辑CEUR第1433卷·Zbl 1407.68080号
[9] Dovier,A.、Formisano,A.和Pontelli,E.2013。自主代理协调:动作语言符合CLP(FD)和LINDA。理论与实践。日志。程序。2013年2月14日至173日·Zbl 1267.68079号
[10] Durfee,E.H.1999。无人地面车辆团队的分布式连续规划。AI杂志20,4,55-61。
[11] Fabiano,F.、Burigana,A.、Dovier,A.和Pontelli,E.2020。EFP 2.0:一个具有多个电子状态表示的多Agent认知求解器。ICAPS程序,101-109。
[12] Fabiano,F.、Riouak,I.、Dovier,A.和Pontelli,E.2019。基于非well-found集的多智能体认知动作语言。在CILC程序中,CEUR第2396卷,242-259。
[13] Fagin,R.、Halpern,J.、Moses,Y.和Vardi,M.2004。关于知识的推理。麻省理工学院出版社·Zbl 0839.68095号
[14] Gebser,M.、Kaminski,R.、Kaufmann,B.和Schaub,T.2019。使用clipeo进行多快照asp求解。逻辑程序设计理论与实践19,27-82·兹比尔1486.68027
[15] Gelfond,M.和Lifschitz,V.1988。逻辑编程的稳定模型语义。《ICLP/ILPS程序》,Kowalski,R.A.和Bowen,K.A.,麻省理工学院出版社,1070-1080年。
[16] Gelfond,M.和Lifschitz,V.1993。用逻辑程序表示动作和变化。J.日志。程序。17, 2/3&4, 301-321. ·Zbl 0783.68024号
[17] Gelfond,M.和Lifschitz,V.1998。动作语言。电子。事务处理。Artif公司。智力。2, 193-210.
[18] Gerbrandy,J.和Groneveld,W.1997。关于信息变更的推理。《逻辑、语言与信息杂志》6,2,147-169·Zbl 0873.03029号
[19] Goldman,C.V.和Zilberstein,S.2004。合作系统的分散控制:分类和复杂性分析。JAIR月22日,143-174·Zbl 1079.93005号
[20] Huang,X.、Fang,B.、Wan,H.和Liu,Y.2017。基于高阶信念变化的通用多智能体认知规划器。IJCAI程序,1093-1101。
[21] Kominis,F.和Geffner,H.2015。多智能体规划的信念:从一个智能体到多个智能体。ICAPS过程中。147-155.
[22] 克里普克,S.A.1963。模态逻辑的语义考虑。《费尼卡哲学学报》16,1963,83-94·Zbl 0131.00602号
[23] Le,T.、Fabiano,F.、Son,T.C.和Pontelli,E.2018。EFP和PG-EFP:多智能体领域中的认知前向搜索规划师。ICAPS程序,161-170。
[24] Löwe,B.、Pacuit,E.和Witzel,A.2011。Del规划和一些可处理的案例。在逻辑、理性和互动国际研讨会上。施普林格,179-192年·Zbl 1298.03054号
[25] Son,T.C.、Pontelli,E.、Baral,C.和Gelfond,G.2014。财务S5理论。在欧洲人工智能逻辑研讨会上。施普林格,239-252·Zbl 1432.03026号
[26] Son,T.C.、Tu,P.H.、Gelfond,M.和Morales,A.R.2005。行动理论的近似及其在一致性规划中的应用。《LPNMR进展》,斯普林格出版社,172-184年·Zbl 1152.68617号
[27] Van Der Hoek,W.和Wooldridge,M.2002。认知目标的可追踪多智能体规划。AAMAS程序:第3部分。美国医学会,1167-1174。
[28] Van Ditmarsch,H.、Van Der Hoek,W.和Kooi,B.2007。动态认知逻辑。第337卷,施普林格科技与商业媒体·兹比尔1156.03015
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。