×

一种基于论证的方法,用于识别和处理程序目标之间的不相容性。 (英语) Zbl 1452.68178号

小结:在实际推理的第一步(即审议)中,智能代理生成一组可追求的目标,然后选择他承诺实现的目标。智能代理通常可以生成多个可追求的目标,这些目标之间可能不兼容。在本文中,我们重点讨论了这些不兼容性的定义、识别和解决方法。建议的方法考虑了Castelfranchi和Paglieri提出的三种不相容形式,即终端不相容、工具或资源不相容和过剩。我们通过表示允许代理实现其目标的计划的参数来计算表征这些形式的不兼容性。因此,目标之间的不相容性是基于其计划之间的冲突来定义的,这些冲突在一个论证框架中以攻击的方式表示;我们建议使用抽象论证理论来解决这个问题,即应用论证语义学。我们使用“更清洁世界”场景的修改版本来说明我们的提案的性能。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)

软件:

2APL公司;杰森
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Alechina,N。;Dastani,M。;Logan,B.,编程规范感知代理,(第11届自治代理和多代理系统国际会议论文集。国际自治代理和多代理系统基金会(2012)),1057-1064
[2] Amgoud,L。;德夫雷德,C。;Lagasquie-Schiex,M.,用约束论证系统生成可能的意图,国际期刊近似推理。,52, 9, 1363-1391 (2011) ·Zbl 1242.68322号
[3] Amgoud,L。;德夫雷德,C。;Lagasquie-Schiex,M.-C.,《实用推理的约束论证系统》,(《多智能体系统论证国际研讨会论文集》(2008),施普林格出版社),37-56
[4] 阿特金森,K。;Bench-Capon,T.,《行动论证的基于行动的交替过渡系统》(第22届人工智能会议记录,第7卷(2007)),24-29
[5] Baumann,R.,论证框架的正态和强展开等价,人工制品。智力。,193, 18-44 (2012) ·Zbl 1270.68280号
[6] 鲍曼,R。;Woltran,S.,《自攻论点在等价概念表征中的作用》,J.Log。计算。,26, 4, 1293-1313 (2014) ·Zbl 1354.68247号
[7] 贝扎迪,S。;Alesheikh,A.A.,《为城市土地利用规划引入信念-需求-关注代理的新模型》,《工程应用》。Artif公司。智力。,26, 9, 2028-2044 (2013)
[8] 贝斯纳德,P。;Hunter,A.,用演绎参数构建参数图:教程,参数计算。,5, 1, 5-30 (2014)
[9] Bordini,R.H。;Hübner,J.F。;Wooldridge,M.,《使用Jason在AgentSpeak中编程多代理系统》。第8卷(2007),John Wiley&Sons·Zbl 1132.68021号
[10] M.Bratman,意图、计划和实际理由1987。;M.Bratman,意图、计划和实际理由1987。
[11] 布劳巴赫,L。;Pokahr,A。;Moldt,D。;Lamersdorf,W.,BDI代理系统的目标表示,(第二届编程多代理系统语言和工具国际研讨会论文集,第3346卷(2004),Springer),44-65
[12] 布林,N。;Farwer,B.,《关于模型检查资源型代理的(不)可判定性》,(第19届欧洲人工智能会议,第10卷(2010年)),567-572·Zbl 1211.68246号
[13] 卡米纳达,M。;Amgoud,L.,《论论证形式主义的评价》,Artif。智力。,171, 5-6, 286-310 (2007) ·Zbl 1168.68562号
[14] 坎巴兹,B。;Yannou,B。;Yvars,P.-A.,《防止由异构代理组成的分布式设计系统中的设计冲突》,工程应用。Artif公司。智力。,2014年第28期第142-154页
[15] 卡斯特尔弗兰奇,C。;Paglieri,F.,《信念在目标动力中的作用:意向建构理论的序言》,Synthese,155,2,237-263(2007)
[16] Chira,C。;奇拉,O。;Roche,T.,分布式工程设计的多代理支持,(应用智能系统工业、工程和其他应用国际会议论文集(2005),Springer),155-164
[17] 科斯特·马奎斯(Coste-Marquis,S.)。;德夫雷德,C。;Marquis,P.,约束论证框架,(第十届知识表示和推理原则国际会议论文集6(2006)),112-122
[18] Dastani,M.,2APL:一种实用的代理编程语言Auton。代理多代理系统。,16, 3, 214-248 (2008)
[19] Dastani,M。;Van Riemsdijk,医学学士。;Winikoff,M.,《代理编程中的丰富目标类型》,(第十届自治代理和多代理系统国际会议论文集,国际自治代理和多重代理系统基金会(2011年)),405-412
[20] Davids,A.,《城市搜索和救援机器人:从悲剧到技术》,IEEE Intell。系统。,17, 2, 81-83 (2002)
[21] Dung,P.M.,《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》,Artif。智力。,77, 2, 321-357 (1995) ·Zbl 1013.68556号
[22] 埃米,L。;Gonzalez-de Soto,M。;Pajares,G。;Gonzalez-de Santos,P.,《农业机器人的新趋势:真实机器人车队的集成和评估》,科学。《世界杂志》,2014(2014),21页
[23] 范,L。;Kumar,A.S。;Jagdish,B.N。;Bok,S.-H.,在对等环境中开发分布式协作设计框架,计算。辅助设计。,40, 9, 891-904 (2008)
[24] Gorogannis,N。;Hunter,A.,《用经典逻辑论证实例化抽象论证:假设和属性》,Artif。智力。,175, 9-10, 1479-1497 (2011) ·Zbl 1225.68248号
[25] 格雷罗,E。;尼维斯,J.C。;Sandlund,M。;Lindgren,H.,使用基于参数的结构的活动限定符,Knowl。信息系统。,54, 3, 633-658 (2018)
[26] Hubner,J.F。;Bordini,R.H。;Wooldridge,M.,使用计划模式编程声明性目标,(第四届声明性代理语言和技术国际研讨会论文集,第4327卷(2006年),施普林格),123-140
[27] Hulstijn,J。;van der Torre,L.W.,将目标生成和规划结合在一个论证框架中,(非单调推理国际研讨会论文集(2004)),212-218
[28] Khan先生。;Lespérance,Y.,《优先目标改变的逻辑框架》,(第九届自治代理和多代理系统国际会议记录,第1卷(2010年),国际自治代理和多重代理系统基金会),283-290
[29] Ligtenberg,A。;Wachowicz,M。;Bregt,A.K。;Beulens,A。;Kettenis,D.L.,《多主体空间规划仿真系统的设计与应用》,J.Environ。管理。,72, 1, 43-55 (2004)
[30] 马丁内斯特区。;加尔科纳,a.J。;Simari,G.R.,抽象论证框架中的渐进失败路径,(《第19届加拿大人工智能会议论文集》,第4013卷(2006),施普林格出版社),242-253
[31] 莫吉尔,S。;Prakken,H.,结构化论证的ASPIC+框架:教程,参数计算。,5, 1, 31-62 (2014)
[32] Morveli Espinoza,M。;波塞博姆,A.T。;Puyol-Gruart,J。;Tacla,C.A.,《处理目标之间的不相容性》,(《第十六届自治代理和多代理系统会议论文集》(2017年),国际自治代理和多重代理系统基金会),1649-1651
[33] 尼维斯,J.C。;格雷罗,E。;Lindgren,H.,《关于人类活动的推理:一种论证方法》,(第十二届斯堪的纳维亚人工智能会议,第十二届斯堪的那维亚人工智能大会,2013年,丹麦奥尔堡,2013年11月20日至22日(2013)),195-204
[34] 奥索里奥,M。;Nieves,J.C.,作为二值模型的基于范围的论证语义,理论与实践。日志。程序。,17, 1, 75-90 (2016) ·Zbl 1379.68299号
[35] Pokahr,A。;布劳巴赫,L。;Lamersdorf,W.,《BDI代理系统的目标审议战略》(《第三届德国多代理系统技术会议论文集》,第5卷(2005年),施普林格出版社),82-93
[36] 拉旺,I。;Amgoud,L.,《基于论证的实践推理方法》,(第五届国际自治代理和多代理系统联合会议论文集(2006),ACM),347-354
[37] Rao,A.S。;Georgeff,M.P.,《BDI代理:从理论到实践》,(第一届多代理系统国际会议记录,第95卷(1995)),312-319
[38] Ricci,A.利玛窦。;Santi,A.,《集成自主行为和反应行为的编程抽象:面向代理的方法》,(基于参与者、代理和分散控制抽象的编程系统、语言和应用理论论文集(2012),ACM),83-94
[39] 桑加拉杰,J。;Padgham,L。;Harland,J.,《BDI代理中目标的表示和推理》,澳大利亚。计算。科学。社区。,24, 1, 259-265 (2002)
[40] 桑加拉杰,J。;Padgham,L。;Winikoff,M.,《检测和避免智能代理中目标之间的干扰》(《第23届国际人工智能联合会议论文集》(2003年),摩根-考夫曼出版社)
[41] 桑加拉杰,J。;Winikoff先生。;Padgham,L。;Fischer,K.,《避免智能代理中的资源冲突》(第15届欧洲人工智能会议论文集(2002)),18-22
[42] 北卡罗来纳州丁尼迈尔。;Dastani,M。;Meyer,J.-J.C.,理性主体的目标选择策略,(《多主体系统的语言、方法和开发工具国际研讨会论文集》(2007年),施普林格出版社),54-70
[43] 金枪鱼,G。;冈戈,V.C。;Gulez,K.,一种在发生灾难时使用移动机器人检测人类生存的自主无线传感器网络部署系统,Ad Hoc Netw。,13, 54-68 (2014)
[44] van Riemsdijk,医学博士。;Dastani,M。;Meyer,J.-J.C.,《代理编程中声明性目标的语义》,(第四届自主代理和多代理系统国际联合会议论文集(2005),ACM),133-140
[45] van Riemsdijk,医学博士。;Dastani,M。;Meyer,J.-J.C.,《冲突中的目标:代理编程中目标的语义基础》,Auton。代理多代理系统。,18, 3, 471 (2009)
[46] Verheij,B.,《辩证论证的两种方法:可接受集和论证阶段》,(每两年一次的形式和应用实践推理国际会议论文集96(1996)),357-368
[47] Verheij,B.,Deflog:关于初步合理假设的逻辑解释,J.Log。计算。,13, 3, 319-346 (2003) ·Zbl 1032.03507号
[48] 维克霍列夫,K。;Alechina,N。;博尔迪尼,R。;Logan,B.,《agentspeak(rt)的操作语义学(初步报告)》,(第九届声明性Agent语言和技术国际研讨会论文集,研讨会纪要。第九届陈述性Agent语言与技术国际研讨会文献集,研讨会笔记,台湾台北,2011年5月(2011))
[49] 王,X。;曹,J。;Wang,J.,代理系统的运行时目标冲突解决模型,(2012年网络智能和智能代理技术国际联合会议论文集,第2卷(2012),IEEE计算机学会),340-347
[50] 维克佐雷克·D·。;Albayrak,S.,《电信应用的开放式可扩展代理体系结构》(Intelligent Agents for telecommunication applications,vol.1437(1998)),233-249
[51] Winikoff先生。;Padgham,L。;J·哈兰德。;Thangarajah,J.,智能代理系统中的声明性和程序性目标,(《知识表示和推理原理国际会议论文集》(2002)),470-481
[52] Wooldridge,M.J.,《理性代理的推理》(2000),麻省理工学院出版社·兹比尔0998.68094
[53] 扎泰利,M.R。;Hübner,J.F。;Ricci,A.利玛窦。;Bordini,R.H.,《面向代理编程中的冲突目标》,(第六届基于参与者、代理和分散控制的编程国际研讨会论文集(2016),ACM),21-30
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。