尼古拉·德拉戈尼；毛罗·加斯帕里 容错拍卖协议的声明性规范：英语拍卖案例研究。 （英语） Zbl 1274.68662号 计算。智力。 第4期第28页，第617-641页（2012年）. 摘要：拍卖机制目前广泛应用于电子商务网站，用于在不同用户之间买卖物品。拍卖协议在谈判阶段越来越重要，这不仅限于在线市场。事实上，拍卖作为资源分配和谈判机制的广泛适用性也导致了代理人群体对拍卖的极大兴趣。对于在开放式多代理系统（如新兴的语义web基础设施）中运行的代理来说，一个具有挑战性的问题涉及到声明性通信规则的规范，这些规则可以发布和共享，从而允许代理动态参与已知和可信的协商协议。为了处理实际应用程序，这些规则还应指定容错交互模式，使谈判代理能够相互交互，以容忍失败，例如，即使某些投标代理动态崩溃，也应终止拍卖过程。在本文中，我们提出了一种在开放和动态环境中通过处理代理崩溃故障的通信规则来指定容错拍卖协议的方法。我们通过一个关于容忍投标代理崩溃的英语拍卖协议规范的案例研究来说明这些概念，并讨论其属性。 MSC公司： 68单位35 信息系统的计算方法（超文本导航、接口、决策支持等） 91B26型 拍卖、议价、投标和销售以及其他市场模式 68T42型 Agent技术与人工智能 关键词：市场机制的声明性规范；基于规则的规范；开放动态多智能体系统；英语拍卖协议；容错代理通信 软件：DARX公司 PDF格式BibTeX公司 XML格式引用 \textit{N.Dragoni}和\textit{M.Gaspari}，计算。智力。28，第4号，617--641（2012；Zbl 1274.68662） 全文： 内政部 参考文献： [1] Badica，A.B.Badica 2008使用配对功能在基于代理的英语拍卖中建模交互。智能分布式计算、系统和应用第二届智能分布式计算国际研讨会论文集-IDC 2008 45 54 [2] Badica，C.M.Ganzha M.Paprzycki 2006自动化谈判的基于规则的框架：概述和实验人工智能和软计算-ICAISC 2006第八届国际会议论文集25 29 Springer Verlag 1059 [3] Bartolini，C.C.Preist N.R.Jennings 2005 SELMAS-04，LNCS 3390 Springer Verlag 213 235《自动谈判的软件框架》 [4] Bellifemine，F.A.Poggi G.Rimassa 2001 Jade:符合fipa2000的代理开发环境在AGENTS’01中：第五届自主代理国际会议论文集ACM出版社216 217·Zbl 0963.68668号 [5] Boutiler，C.M.Goldszmidt C.Monteleoni B.Sabata 2000《使用顺序拍卖的资源分配》，《国际商会代理调解电子商务研讨会论文集》，LNCS 1788 Springer Verlag 131 152 [6] Cliff，D.J.Bruten 1997市场活动中讨价还价行为的最低情报机构 [7] Cramton，组合拍卖（2006） [8] Dolgov，D.E.Durfee 2005弱耦合MDP中资源分配的计算效率组合拍卖，荷兰乌得勒支第四届自治代理和多代理系统国际联合会议论文集657 664 [9] Dumas，代理开发谈判的正式方法，电子商务研究与应用1（2）第193页–（2002）·Zbl 05414016号 ·doi:10.1016/S1567-4223（02）00016-9 [10] Dragoni，N.2006《开放多代理系统中的容错知识级代理间通信》博士论文 [11] Dragoni，异步代理通信语言中的崩溃故障检测，自治代理和多代理系统13，第355页–（2006）·Zbl 05387460号 ·doi:10.1007/s10458-006-0006-y [12] Dragoni，N.M.Gaspari D.Guidi 2006《支持web代理交互的容错代理通信语言》，载于《代理通信：代理通信国际研讨会，修订的精选和邀请论文》，LNAI 3859 Springer Verlag 273 288 [13] Dragoni，用于指定容错协议的ACL，应用人工智能21（4）pp 361–（2007）·Zbl 05387257号 ·doi:10.1080/08839510701252643 [14] 易趣网网址：http://www.ebay.com/ [15] Feldman，电子市场，IEEE Internet Computing 4（4），第93–（2000）页·Zbl 05096405号 ·doi:10.1109/4236.865093 [16] Finin，In Software Agents第291页–（1997） [17] 智能物理代理基金会，FIPA通信法案图书馆规范（2002年） [18] 智能物理代理基金会2001年FIPA英语拍卖交互协议规范 [19] Gaspari，代理语言中的并发和知识级通信，人工智能105（1-2）第1页–（1998）·Zbl 0909.68028号 ·doi:10.1016/S0004-3702（98）00080-0 [20] Gaspari，代理动态系统的ACL，计算智能18（2）第102页–（2002）·Zbl 01937580号 ·doi:10.1111/1467-8640.00185 [21] Gaspari，《多代理系统的语言、方法和开发工具》，第243页–（2008年）·Zbl 05490204号 ·doi:10.1007/978-3-540-85058-8_15 [22] Guidi，D.2007支持网络上知识级代理的通信基础设施 [23] 卡明卡（Kaminka），《通过社会关注监控建立稳健的代理团队》（Robust agent teams via socially attential monitoring），《人工智能研究杂志》（Journal of Artificial Intelligence Research）12页105–（2000）·Zbl 0940.68032号 [24] Kienzle，J.A.Strohmeier A.Romanovsky 2002年使用开放多线程事务的拍卖系统设计，第七届IEEE面向对象实时可靠系统国际研讨会论文集 [25] Klein，M.C.Dellarocas 1999 AGENTS’99中Agent系统中的异常处理：第三届自治Agent年会论文集ACM出版社62 68 [26] Koenig，S.C.Tovey M.Lagoudakis V.Markakis D.Kempe P.Keskinocak A.Kleywegt A.Meyerson S.Jain 2006《国际人工智能会议（AAAI）论文集》中序贯单项目拍卖对代理人协调的作用 [27] Klein，《使用域相关异常处理服务实现健壮的开放多代理系统：代理死亡的案例》，《自治代理和多代理系统》7（1-2），第179–（2003）页·Zbl 05387396号 ·doi:10.1023/A:1024145408578 [28] Kumar，S.P.Cohen 2000《第四届自治代理国际会议论文集：迈向容错多代理系统体系结构》 [29] Marin，O.M.Bertier P.Sens 2003 DARX——代理软件容错支持框架，第14届软件可靠性工程国际研讨会（ISSRE）论文集 [30] 米尔格罗姆（Milgrom），《拍卖与投标：入门》（Auctions and bidding:A primer），《经济展望杂志》（Journal of Economic Perspectives）第3页，第3页–（1989）·doi:10.1257/jep.3.3.3 [31] MSN购物http://shopping.msn.com/ [32] Mullender，分布式系统（1993） [33] Parsons，S.M.Klein 2004走向稳健的多代理系统：处理双重拍卖中的通信异常第三届国际AAMAS会议记录，纽约州纽约市1482 1483 [34] Shah，N.K.Chao R.Anane N.Godwin 2003开放多智能体系统中异常处理的灵活方法AAMAS研讨会会议记录'03，澳大利亚墨尔本7 10 [35] Skylogiannis，T.G.Antoniou N.Bassiliades 2004使用可废除的基于逻辑的策略进行自动代理协商的系统-《规则ML会议录》中的初步报告，Boley，H.Antoniau，G.Springer Verlag编辑205 214 [36] u投标网址：http://www.ubid.com/ [37] 维达尔，AAAI机器人协调拍卖机制研讨会（2006年） [38] Wu，应用专家系统20（1），第51页–（2001） [39] Wurman，拍卖设计空间的参数化，《游戏与经济行为》35（1/2）pp 304–（2001）·Zbl 1103.91339号 ·doi:10.1006/游戏.2000.0828 [40] 雅虎！购物拍卖http://auctions.yahoo.com/ 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。