×
斯特凡妮娅·科斯坦蒂尼;阿里安娜·托奇奥;巴拿马琴察

违反合同：通过论证证明。 （英语） Zbl 1250.68265号

Fisher，Michael（编辑）等人，《多智能体系统中的计算逻辑》。第九届国际研讨会，CLIMA IX，德国德累斯顿，2008年9月29日至30日。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-02733-8/pbk）。计算机科学5405课堂讲稿。人工智能课堂讲稿，132-153（2009）。
摘要：智能逻辑代理的一个重要应用领域是自动协商，理性在其中发挥着主要作用。我们的工作与在谈判领域中使用论证有关。特别是，我们对违反合同的行为感兴趣，并对构建正当理由以激励违约行为本身以及在可能的情况下根据修改后的条件恢复合同感兴趣。我们提出了一种时序模态逻辑语言，能够支持和描述辩证争议中使用的论点/理由，并考虑了引入和管理理由的合适算法和机制。
关于整个系列，请参见[Zbl 1169.68002号].

MSC公司：

68T42型 Agent技术与人工智能
68T27型 人工智能中的逻辑

软件：

社会可视化者
PDF格式BibTeX公司 XML格式引用
\textit{S.Costantini}等人，Lect。注释计算。科学。5405、132--153（2009年；Zbl 1250.68265）
全文： 内政部

参考文献：

[1] Rahwan，I.，Ramchurn，S.D.，Jennings，N.R.，Peter McBurney，S.P.，Sonenberg，L.：基于论证的谈判。《知识工程评论》（2004）
[2] Barringer，H.、Fisher，M.、Gabbay，D.M.、Gough，G.、Owens，R.：METATEM:时序逻辑编程框架。收录于：《分布式系统逐步优化程序、模型、形式化、正确性》，英国伦敦REX研讨会，第94-129页。斯普林格，海德堡（1990）·doi:10.1007/3-540-52559-9_62
[3] 费希尔，M.：Metatem：到目前为止的故事。收录人：Bordini，R.H.，Dastani，M.，Dix，J.，El Fallah Seghrouchni，A.（编辑）PROMAS 2005。LNCS，第3862卷，第3-22页。斯普林格，海德堡（2006）·doi:10.1007/11678823_1
[4] Rodríguez Aguilar，J.：关于代理中介电子机构的设计和构建。英特尔研究所（IIIA）博士论文（2001年）
[5] 梅金森：关于权利关系的形式表征。《哲学逻辑杂志》15，403–425（1986）·Zbl 0605.03003号 ·doi:10.1007/BF00243391
[6] Jones，A.，Sergot，M.：制度化权力的正式表征。IGPL逻辑杂志4（3），427–443（1996）·Zbl 0855.03014号 ·doi:10.1093/jigpal/4.3.427
[7] Costantini，S.、Acqua，P.D.、Pereira，L.M.：药剂特性的规范和动态验证。在：CLIMA-IX会议记录，国际工作。多智能体系统中的计算逻辑
[8] Vázquez-Salceda，J.：规范和电子制度在应用于复杂领域的多智能体系统中的作用。HARMONIA框架。博士论文，人工智能博士。加泰罗尼亚政治大学项目（2003年4月）·Zbl 1083.68609号
[9] Costantini，S.，Acqua，P.D.，Pereira，L.M.：进化和学习代理的多层框架。收录：Cox，M.T.，Raja，A.（编辑）《元推理程序》，《2008年美国芝加哥AAAI思考研讨会》（2008）
[10] Sabater，J.，Sierra，C.：多智能体系统中的声誉和社会网络分析。In：程序。《第一届自治代理和多代理系统国际联合会议》，第475-482页。ACM出版社，纽约（2002）
[11] Joseph，S.、Sierra，C.、Schorlemmer，M.、Dellunde，P.：基于信息的声誉。In：程序。第一届国际声誉理论与技术会议（2009）
[12] Sierra，C.，Sabater-Mir，J.：计算信任和声誉模型综述。《人工智能评论》24（1），33–60（2005）·Zbl 1138.68580号 ·doi:10.1007/s10462-004-0041-5
[13] Neville，B.，Pitt，J.：代理中介电子商务中社会代理的模拟研究。收录于：第七届代理社会信任问题国际研讨会论文集（2004年）
[14] Huynh，D.，Jennings，N.R.，Shadbolt，N.R.:开发开放多代理系统的集成信任和声誉模型，第65–74页（2004）
[15] Gaur，V.，Bedi，P.：评估代理中介电子商务中的信任。国际技术、知识与社会杂志（3）65–74·doi:10.18848/1832-3669/CGP/v03i03/55734
[16] Huynh，T.D.，Jennings，N.R.，Shadbolt，N.R.:开放多代理系统的集成信任和声誉模型。收录于：自治代理和多代理系统，第119-154页（2006年）·doi:10.1007/s10458-005-6825-4
[17] Rammour，S.D.，Jennings，N.R.，Sierra，C.：《自治代理人的说服性谈判：修辞方法》。摘自：IJCAI自然论证计算模型研讨会，第9-17页。IJCAI出版社（2003）
[18] Esfandiari，B.，Chandrasekharan，C.：关于代理人如何结交朋友：获取信任的机制。In：程序。第四期代理人社会中的欺骗、欺诈和信任研讨会，第27–34页（2001年）
[19] Vasalou，A.，Hopfensitz，A.，Pitt，J.V.：赞扬宽恕：修复一次性在线互动中信任破裂的方法。Int.J.Hum.-计算机。螺柱66（6），466–480（2008）·doi:10.1016/j.ijhcs.2008.02.001
[20] Costantini，S.，Tocchio，A.：通过逻辑代理中的知识交换进行学习。In:From Objects to Agents:Intelligent Systems and Pervasive Computing，《WOA学报》2005（2005）ISBN 88-371-1590-3
[21] Costantini，S.，Tocchio，A.：多智能体系统的逻辑编程语言。收录：Flesca，S.、Greco，S.，Leone，N.、Ianni，G.（编辑）JELIA 2002。LNCS（LNAI），第2424卷，第1页。施普林格，海德堡（2002）·Zbl 1014.68530号 ·doi:10.1007/3-540-45757-7_1
[22] Costantini，S.，Tocchio，A.：面向代理的DALI逻辑编程语言。收录人：Alferes，J.J.，Leite，J.（编辑）JELIA 2004。LNCS，第3229卷，第685-688页。斯普林格，海德堡（2004）·Zbl 1110.68499号 ·doi:10.1007/978-3-540-30227-8_57
[23] Sadri，F.，Toni，F.：计算逻辑和多智能体系统：路线图。计算逻辑，计算机网络未来技术路线图专刊（1999）
[24] Beer，M.、d'Inverno，M.，Jennings，N.、Luck，M.和Preist，C.：通过辩论进行推理和谈判的代理人。《知识工程评论》14（3），285-289（1999）·doi:10.1017/S02698889999003021
[25] Dung，P.、Mancarella，P.和Toni，F.：基于怀疑和假设的论证的辩证程序。摘自：《第一届国际争论计算模型会议论文集》（COMMA 2006）。IOS出版社，阿姆斯特丹（2006）
[26] Bentahar，J.，Moulin，B.，Meyer，J.-J.C.，Chaib-draa，B.：基于论证的Agent通信语用学的模态语义学。摘自：2004年7月19日至23日在纽约举行的第三届自主代理和多代理系统国际联合会议记录，第792-799页（2004）·Zbl 1117.68506号
[27] Leue，S.：基于SDL/MSC和时态逻辑的QoS规范。收录人：van Bochmann，G.，de Meer，J.，Vogel，A.（编辑）《蒙特利尔多媒体应用和服务质量验证研讨会论文集》（1994年）
[28] Clarke，E.M.，Lerda，F.：模型检查：软件及其以外。《通用计算机科学杂志》13，639–649（2007）
[29] Milosevic，Z.，Dromey，R.G.：关于合同中的表达和监督行为。摘自：《第六届国际企业分布式对象计算会议论文集》，第3-14页（2002年）·doi:10.1109/EDOC.2002.1137692
[30] Bauer，A.、Leucker，M.、Schallhart，C.：LTL和TLTL的运行时验证。技术报告TUM-I0724，慕尼黑理工大学信息研究所（2007）·Zbl 1213.68363号
[31] Governatori，G.，Milosevic，Z.：处理合同违约：形式主义和领域特定语言。摘自：《2005年EDOC会议记录》，美国华盛顿特区，第46-57页。IEEE计算机学会出版社，洛斯·阿拉米托斯（2005）
[32] Milosevic，Z.、Gibson，S.、Linington，P.F.、Cole，J.B.、Kulkarni，S.：关于合同监测设施的设计和实施。摘自：IEEE第一届合同研讨会会议记录（WEC 2004），第62-70页。IEEE计算机学会出版社，洛斯·阿拉米托斯（2004）·doi:10.1109/WEC.2004.1319510
[33] Grosof，B.N.，Poon，T.C.：Sweetdeal：使用XML规则、本体和过程描述来表示带有异常的代理合同。摘自：《第十二届万维网国际会议论文集》，第340-349页。ACM出版社，纽约（2003）
[34] Dung，P.M.，Thang，P.M..，Toni，F.：走向基于论证的合同谈判。摘自：《2008年COMMA会议录》，《论证的计算模型》，第172卷，第134-146页（2008）
[35] Walton，C.D.：可验证代理对话。《应用逻辑杂志》5（2），197-213（2007）；基于逻辑的Agent验证专题·Zbl 1119.68392号 ·doi:10.1016/j.jal.2005.12.009
[36] Wooldridge，M.，Parsons，S.：谈判语言。摘自：Horn，W.（编辑）《2000年ECAI会议记录》，第十四届欧洲人工智能会议，德国柏林，第393–397页（2000年8月）
[37] Parsons，S.、Sierra，C.、Jennings，N.R.：通过辩论进行推理和谈判的代理人。逻辑与计算杂志8261-292（1998）·Zbl 0904.68061号 ·doi:10.1093/log.com/8.3.261
[38] Dung，P.M.，Thang，P.M.:走向普通合同法中基于论证的法律原则模式。收录：Fisher，M.，Sadri，F.（编辑）《气候变化与气候变化国际会议论文集》，国际工作组。《多智能体系统中的计算逻辑》，第111–126页（2008）
[39] Dung，P.M.，Thang，P.M..，Hung，N.D.：电子商务中基于论证的决策和谈判：为计算机装配厂签订土地租赁合同。收录：Fisher，M.，Sadri，F.（编辑）《CLIMA-IX国际工作会议录》。《多智能体系统中的计算逻辑》，第91–109页（2008年）·Zbl 1250.68266号
[40] Brewka，G.：动态论证系统：基于情境演算的论证过程的形式化模型。逻辑与计算杂志11，257–282（2001）·Zbl 0986.68141号 ·doi:10.1093/log.com/11.2.257
[41] Artikis，A.、Sergot，M.、Pitt，J.：论证协议的可执行规范。在：IJCAL 2003：第九届人工智能与法律国际会议论文集，第1-11页。ACM，纽约（2003）·Zbl 1168.68557号
[42] Artikis，A.，Sergot，M.，Pitt，J.：指定规范控制的计算社会。ACM事务处理。计算。逻辑10（1），1-42（2009）·Zbl 1367.68320号 ·数字对象标识代码：10.1145/1459010.1459011
[43] 合同欧盟项目：基于合同的电子商务系统工程，用于健壮、可验证的跨组织商业应用，第六框架计划，项目编号FP6-034418
[44] Oren，N.、Panagiotidi，S.、Vazquez-Salceda，J.、Modgil，S.，Luck，M.、Miles，S.：走向电子订约环境的正式化。In：程序。代理系统中的协调、组织、制度和规范，2008年AAAI国际研讨会（2008）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。