瓦格纳·德·奥利维拉·加布里埃尔;Alison R.Panisson。;拉斐尔·博迪尼。;戴安娜·弗朗西斯卡·阿达马蒂;Cleo Zanella比拉 使用Toulmin的论证模型在BDI代理中进行推理。 （英语） 兹比尔1436.68371 西奥。计算。科学。 805, 76-91 (2020). 摘要：论证理论渗透于多个知识领域，在多智能体系统中获得了重要的应用空间，因为它为智能体中冲突信息的推理建模提供了一种方法。本工作基于Toulmin的论证模型为BDI代理开发了一种基于论证的推理机制。哲学家斯蒂芬·图尔敏（Stephen Toulmin）声称，论据通常由六部分组成：数据、依据、主张、支持、限定词和反驳。这种论证结构允许通过分离的组件描述论点，从而更容易定义和评估推理过程。通过介绍和讨论一些案例研究，本文展示了该机制如何支持基于BDI代理中可用证据的新信念推理，BDI代理使用面向代理的编程语言编程。 MSC公司： 68T42型 Agent技术与人工智能 关键词：多智能体系统;基于论证的推理;图尔敏模型;BDI代理 软件：杰森 PDF格式BibTeX公司 XML格式引用 \textit{V.de Oliveira Gabriel}等人，Theor。计算。科学。805、76-91（2020年；Zbl 1436.68371） 全文： 内政部 链接 参考文献： [1] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和n人游戏中的基本作用》，Artif。智力。，77, 2, 321-357 (1995) ·Zbl 1013.68556号 [2] 普拉肯，H。；Sartor，G.，具有不可行优先级的基于论证的扩展逻辑编程，J.应用。非类别。日志。，7, 1-2, 25-75 (1997) ·Zbl 0877.68019号 [3] 拉旺，I。；拉姆特尔，S.D。；Jennings，N.R。；麦克伯尼，P。；帕森斯，S。；Sonenberg，L.，基于论证的谈判，Knowl。工程版次，18，4，343-375（2003） [4] Ferber，J。；Gasser，L.，Intelligence artificielle distributue，（第十一届专家系统及其应用会议的教学笔记。第十一届专业系统及其应用大会的教学笔记，法国（1991年）） [5] Rezende，S.O.，《智能科学院：基础》（2003），Editora Manole Ltda:Editora Manole Ltda Barueri，SP [6] Wooldridge，M.，《多智能体系统简介》（2009），John Wiley&Sons [7] 拉奥，A.S。；Georgeff，M.P.，《BDI代理：从理论到实践》，（ICMAS 95（1995）），312-319 [8] Bratman，M.，意图、计划和实践理性（1987），语言和信息研究中心 [9] 塞拉，C。；北卡罗来纳州詹宁斯。；诺列加，P。；Parsons，S.，《基于论证的协商框架》（Intelligent Agents IV Agent Theorys，Architectures，and Languages，1998），177-192 [10] 穆林，B。；Irandoust，H。；Bélanger，M。；Desbordes，G.，《解释和论证能力：创造更有说服力的代理人》，Artif。智力。修订版，17、3、169-222（2002）·Zbl 1017.68112号 [11] 卡卡斯，A。；Moraitis，P.，《基于论证的自治代理决策》，（第二届国际自治代理和多代理系统联合会议论文集（2003），ACM），883-890 [12] 阿特金森，K。；工作台盖，T。；McBurney，P.，《通过论证产生意图》，（第四届自主代理和多代理系统国际联合会议论文集（2005），ACM），1261-1262 [13] 阿特金森，K。；工作台盖，T。；Mcburney，P.，《针对行动建议的多智能体辩论的对话游戏协议》，Auton。代理多代理系统。，11, 2, 153-171 (2005) ·兹比尔1117.68504 [14] Maudet，N。；帕森斯，S。；Rahwan，I.，《多智能体系统中的论证：背景和最新发展》，（多智能体体系中的论证国际研讨会（2006），Springer），1-16 [15] Oliva，E。；McBurney，P。；Omicini，A.，代理社会的协同论证工件，（多代理系统论证国际研讨会（2007），Springer），31-46·Zbl 1135.68588号 [16] Panisson，A.R。；梅内古齐，F。；维埃拉，R。；Bordini，R.H.，《在多智能体编程语言中使用不可行逻辑进行基于论证的推理的方法》，（第11届多智能体系统论证国际研讨会（2014）），1-15 [17] Berariu，T.，《BDI代理的论证框架》（Intelligent Distributed Computing VII（2014），Springer），343-354 [18] Panisson，A.R。；Bordini，R.H.，《面向代理编程语言中论证的知识表示》，（2016年第五届巴西智能系统会议，2016年第5届巴西智能体系会议，BRACIS（2016），IEEE），13-18 [19] Velmovitsky，体育。；布里奥特，J.-P。；维亚纳，M。；de Lucena，C.J.P.，《基于论证的决策BDI代理中的实践推理：保护区参与式管理的案例研究》，（第29届国际软件工程与知识工程会议，第29届软件工程和知识工程国际会议，SEKE’2017（2017），SEKE/知识系统研究所），527-530 [20] 费雷蒂，E。；Tamargo，L.H。；a.J.加西亚。；埃雷卡尔德，M.L。；Simari，G.R.，《基于动态论证系统的决策方法》，Artif。智力。，242, 107-131 (2017) ·Zbl 1392.68384号 [21] Hecham，A。；比斯克特，P。；Croitoru，M.，《关于可废止推理变体的灵活表示法》，（第17届自治代理和多代理系统国际会议论文集，第17届自主代理和多智能体系统国际会议文献集，2018年AAMAS，IFAAMAS（2018）），1123-1131 [22] 阿雷利，O。；博格，A.M。；Straber，C.，Prioritized sequent-based designation，（《第17届自主代理和多代理系统国际会议论文集》，第17届国际自主代理和多重代理系统会议论文集，2018（2018），IFAAMAS，1105-1113 [23] Toulmin，S.E.，《论据的使用》（2003），剑桥大学出版社 [24] Verheij，B.，《人工智能中的Toulmin论证模型》，（《人工智能的论证》（2009），施普林格出版社），219-238 [25] de Oliveira Gabriel，V。；Adamatti，D.F。；Panisson，A.R。；博迪尼，R.H。；Billa，C.Z.，使用Toulmin模型在BDI代理中基于论证的推理，（2018年第7届巴西智能系统会议，2018年第七届巴西智能体系会议，BRACIS（2018），IEEE），378-383 [26] Bordini，R.H。；Hübner，J.F。；Wooldridge，M.，《使用Jason在AgentSpeak中编程多代理系统》，第8卷（2007），John Wiley&Sons·Zbl 1132.68021号 [27] Chesñevar，C.I。；Maguitman，A.G。；Loui，R.P.，论证的逻辑模型，ACM计算。调查。，32, 4, 337-383 (2000) [28] 希区柯克，D.，《Toulmin模型的良好推理》，《论证》，第19、3、373-391页（2005年） [29] Georgeff，M.P。；Lansky，A.L.，程序知识，程序。IEEE，74，10，1383-1398（1986） [30] Narvaez，F。；古铁雷斯，G。；佩雷斯，硕士。；Elizondo，D。；Nuñez，A。；巴尔马塞达，A。；Harris，E.，《对传统和修订的世卫组织登革热严重程度分类的评估》，《公共科学图书馆·阴性》。特罗普。数字化信息系统。，第5、11条，第1397页（2011年） [31] Ministério da Saúde（BR），Secretaria de Vigiláncia em Saüde，Departmento de Vigil-ncia das Doenças Transmissíveis，登革热：Diagnóstico e Manejo Clínico:Adulto e Criansa（2013） [32] Bondarenko，A。；Dung，P.M。；Kowalski，R.A。；Toni，F.，《缺省推理的抽象论证理论方法》，Artif。智力。，93, 1-2, 63-101 (1997) ·Zbl 1017.03511号 [33] 阿特金森，K。；Bench-Capon，T.，《使用基于动作的交替转换系统作为假设论证的实践推理》，Artif。智力。，17110-15，855-874（2007年）·Zbl 1168.68558号 [34] 罗斯坦，N.D。；a.J.加西亚。；Simari，G.R.，《扩展BDI体系结构的可推迟论证支持》（Multi-Agent Systems论证国际研讨会（2007），Springer），145-163·Zbl 1135.68592号 [35] 帕森萨，S。；Atkinsonb，K。；Haighc，K。；莱维特·K。；罗伊德，P.M.J。；辛格夫，M.P。；Sklara，E.，关于信任推理的论证方案，（论证的计算模型：COMMA 2012年会议记录，第245卷（2012）），430 [36] 罗斯坦，N.D。；Moguillansky，M.O。；a.J.加西亚。；Simari，G.R.，《动态论证框架》（COMMA，第216卷（2010）），427-438 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。