×
奥祖尔·卡法尔;保罗·托罗尼

多代理合同执行中的异常诊断。 （英语） Zbl 1280.68263号

安。数学。工件。智力。 第1期第64页，第73-107页（2012年）.
摘要：我们提出了一种诊断程序，代理可以使用该程序解释合同执行的例外情况。合同由与时间限制相关的社会承诺表示。该程序根据这些承诺之间的关系进行推理，并在可能导致异常的不同可能不匹配中返回一个。特别是，我们考虑了两种可能性：错位，当两个代理人对同一承诺有两种不同的观点时；不当行为，当没有错位，但债务人代理人未能履行义务时。我们还提供了一个重新调整政策，可用于不一致的情况。我们的形式化使用了事件演算的反应形式。我们通过讨论电子商务的交付过程作为案例研究来说明我们的方法的工作原理。

MSC公司：

68T42型 Agent技术与人工智能
68T27型 人工智能中的逻辑
68立方英尺 知识表示

关键词：

承诺;异常诊断;对齐;事件演算

软件：

SCIFF公司
PDF格式BibTeX公司 XML格式引用
\textit{Ù.Kafal}和\textit{P.Torroni}，安.数学。工件。智力。64、第1号、第73-107号（2012；Zbl 1280.68263）
全文： 内政部

参考文献：

[1] Alberti，M.、Chesani，F.、Gavanelli，M.，Lamma，E.、Mello，P.、Torroni，P.:诱拐逻辑编程中的可验证代理交互：SCIFF框架。ACM Trans。计算。日志。9（4），第29条，43页（2008年）。数字对象标识代码：10.1145/1380572.1380578·Zbl 1185.68419号
[2] Allen，J.F.：保持对时间间隔的了解。Commun公司。ACM 26、832–843（1983年）·Zbl 0519.68079号 ·数字对象标识代码：10.1145/182.358434
[3] Ardissono，L.、Console，L.，Goy，A.、Petrone，G.、Picardi，C.、Segnan，M.、Dupré，D.T.：使用诊断功能增强Web服务。In：程序。2005年IEEE网络服务国际会议（ICWS 2005），第182-191页。IEEE计算机学会（2005）
[4] Baldoni，M.，Baroglio，C.，Marengo，E.：基于行为的承诺协议。In：程序。第19届ECAI。IOS出版社（2010）·Zbl 1211.68451号
[5] Bragaglia，S.、Chesani，F.、Mello，P.、Montali，M.、Torroni，P.:监控全球计算应用的反应事件演算。收录：马雷克·塞尔戈特的论文：规范系统的计算逻辑。LNCS，Springer-Verlag（2012）·Zbl 1356.68214号
[6] Bresciani，P.、Perini，A.、Giorgini，P.，Giunchiglia，F.、Mylopoulos，J.：Tropos：一种面向代理的软件开发方法。自动。代理人。Multi Ag.8203–236（2004年）·Zbl 1050.68673号 ·doi:10.1023/B:AGNT.0000018806.20944.ef
[7] Bylander，T.、Allemang，D.、Tanner，M.C.、Josephson，J.R.：诱拐的计算复杂性。工件。智力。49(1–3), 25–60 (1991) ·Zbl 0737.68076号 ·doi:10.1016/0004-3702（91）90005-5
[8] Chesani，F.，Mello，P.，Montali，M.，Torroni，P.:通过反应性事件演算进行承诺跟踪。In：程序。第21届国际JCAI，第91–96页（2009年）
[9] Chesani，F.、Mello，P.、Montali，M.、Torroni，P.:基于REC的承诺跟踪工具。系统演示。In：程序。第十次WOA（2009年）。http://cmt.math.unipr.it/woa09/papers/Chesani_Demo.pdf
[10] Chesani，F.，Mello，P.，Montali，M.，Torroni，P.：用反应性事件演算监测时间感知的社会承诺。In：程序。第七届国际研讨会“从代理理论到代理实现”（AT2AI-7），第447–452页（2010）·Zbl 1274.68592号
[11] Chesani，F.，Mello，P.，Montali，M.，Torroni，P.:开放代理社会中的角色监控。In：程序。KES-AMSTA第4版，第一部分，LNCS，第6070卷，第112-121页。Springer-Verlag（2010）·Zbl 1205.68438号
[12] Chittaro，L.，Montanari，A.：人工智能中的时间表示和推理：问题和方法。安。数学。工件。智力。28(1–4), 47–106 (2000) ·Zbl 1001.68096号 ·doi:10.1023/A:1018900105153
[13] Chopra，A.K.：承诺对齐：分布式计算的语义、模式和决策程序。NCSU博士论文（2009）
[14] Chopra，A.K.，Dalpiaz，F.，Giorgini，P.，Mylopoulos，J.：通过目标和承诺推理代理和协议。In：程序。第九届澳大利亚金融管理局，第457–464页（2010年）
[15] Chopra，A.K.，Singh，M.P.：生成兼容交互：一致性、覆盖率和互操作性。In：程序。第4天。LNCS，第4327卷，第1-15页。Springer-Verlag（2006）
[16] Chopra，A.K.，Singh，M.P.：本构互操作性。In：程序。第七届澳大利亚金融管理协会，第797–804页（2008年）
[17] Chopra，A.K.，Singh，M.P.：多主体承诺一致性。In：程序。第八届澳大利亚金融管理局，第937-944页（2009年）
[18] Console，L.，Dressler，O.：现实世界中基于模型的诊断：吸取的教训和仍然存在的挑战。In：程序。第16届国际JCAI，第1393-1400页（1999年）
[19] Console，L.，Dupré，D.T.，Torasso，P.：在基于模型的诊断中整合不同的知识源。In：程序。第二届AI*IA.LNCS，第549卷，第177-186页。Springer-Verlag（1991）
[20] Dellarocas，C.，Klein，M.，Rodríguez-Aguilar，J.A.：合同网软件代理开放电子市场的例外处理架构。In：程序。EC第二版，第225-232页。ACM（2000年）
[21] Desai，N.、Mallya，A.U.、Chopra，A.K.、Singh，M.P.：流程=协议+策略：业务流程开发的方法论。北卡罗来纳州立大学技术代表，TR2004-34（2004）
[22] Desai，N.、Chopra，A.K.、Singh，M.P.：表示和推理业务流程中的承诺。In：程序。第22届AAAI，第1328–1333页（2007年）
[23] Fornara，N.，Colombetti，M.：使用基于承诺的代理通信语言定义交互协议。In：程序。第二届澳大利亚金融管理协会，第520-527页（2003年）
[24] Giordano，L.，Martelli，A.：验证代理与多方协议的一致性。In：程序。CLIMA IX.LNCS，第5405卷，第17-36页。施普林格出版社（2009）·Zbl 1250.68267号
[25] Horling，B.，Benyo，B.，Lesser，V.R.：利用自我认知来适应组织结构。In：程序。第五自治机构，第529-536页。ACM（2001）
[26] Jennings，N.R.、Faratin，P.、Norman，T.J.、O'Brien，P.和Odgers，B.：业务流程管理的自治代理。申请。工件。智力。14(2), 145–189 (2000) ·doi:10.1080/088395100117106
[27] 卡法利。，Torroni，P.：《社会承诺授权与监督》，摘自：Proc。CLIMA XII公司。LNCS，第6814卷，第171-189页。Springer-Verlag（2011）·Zbl 1348.68260号
[28] 卡法尔。，Yolum，P.：检测承诺协议中的异常：发现隐藏状态。In：程序。第二个LADS。LNCS，第6039卷，第112-127页，Springer-Verlag（2009）
[29] Kalech，M.，Kaminka，G.A.：关于多智能体团队社会诊断算法的设计。In：程序。第18届国际JCAI，第370-375页（2003年）
[30] Kalech，M.，Kaminka，G.A.：面向基于模型的协调故障诊断。In：程序。第20届AAAI，第102–107页（2005年）
[31] Kaminka，G.A.，Tambe，M.：通过社会关注监控建立强大的代理团队。J.Artif。智力。第12号决议，105–147（2000年）·兹伯利0940.68032
[32] Klein，M.，Rodriguez-Aguilar，J.，Dellarocas，C.：使用域相关的异常处理服务来启用健壮的开放式多代理系统：代理死亡的情况。自动。代理人。Multi-Ag.7（1-2），179-189（2003）·doi:10.1023/A:1024145408578
[33] Klein，M.，Dellarocas，C.：处理工作流系统中异常的基于知识的方法。计算。支持。笼子。作品9（3/4），399–412（2000）·doi:10.1023/A:1008759413689
[34] Klein，M.，Dellarocas，C.：关于处理业务流程中异常的系统知识库。ASES工作报告。麻省理工学院（2000）
[35] Kollingbaum，M.，Norman，T.：监督交互的合同管理框架。参加：英国多代理系统（UKMAS）年会，英国利物浦（2002）
[36] Kowalski，R.，Sergot，M.：一种基于逻辑的事件演算。新一代。计算。4(1), 67–95 (1986) ·Zbl 1356.68221号 ·doi:10.1007/BF03037383
[37] Lamperti，G.，Zanella，M.：伊甸园：用于诊断离散事件系统的智能软件环境。申请。智力。，18(1), 55–77 (2003). doi:10.1023/A:1020974704946·Zbl 1033.68023号 ·doi:10.1023/A:1020974704946
[38] Lucas，P.J.F.：诊断概念分析。工件。智力。105(1–2), 295–343 (1998) ·Zbl 0909.68137号 ·doi:10.1016/S0004-3702（98）00081-2
[39] Mallya，A.U.，Singh，M.P.：承诺协议代数。自动。代理人。Multi-Ag.14（2），143-163（2007）·doi:10.1007/s10458-006-7232-1
[40] Micalizio，R.、Torasso，P.、Torta，G.：服务机器人团队的在线监测和诊断：基于模型的方法。AI通讯。19, 313–340 (2006) ·Zbl 1127.68444号
[41] Pencole，Y.，Cordier，M.O.，Roze，L.：电信网络监管的增量分散诊断方法。摘自：IEEE决策与控制会议，第435–440页（2002）
[42] Picardi，C.、Bray，R.、Cascio，F.、Console，L.、Dague，P.、Millet，D.、Rehfus，B.、Struss，P.和Vallée，C.：Idd：在汽车系统设计中集成诊断。In：程序。ECAI第15期，第628–632页。IOS出版社（2002）
[43] van Riemsdijk，M.B.，Dastani，M.，Winikoff，M.：代理系统中的目标：统一框架。in:Proc。第七届AAMAS，第713–720页（2008年）
[44] Roos，N.和Witteveen，C.：计划诊断的模型和方法。自动。代理人。Multi-Ag.19（1），30-52（2009）·doi:10.1007/s10458-007-9017-6
[45] Schroeder，M.，Schweimeier，R.：争论和误解：谈判代理人的模糊统一。选举人。注释Theor。计算。科学。70(5), 1–19 (2002) ·Zbl 1270.68336号 ·doi:10.1016/S1571-0661（04）80585-1
[46] Singh，M.P.：代理通信语言：重新思考原则。IEEE计算。31, 40–47 (1998) ·doi:10.1109/2.735849
[47] Singh，M.P.：多智能体系统中承诺的本体：走向规范概念的统一。工件。智力。第7号法律，97–113（1999）·doi:10.1023/A：1008319631231
[48] Torroni，P.、Chesani，F.、Mello，P.、Montali，M.：及时的社会承诺：满足还是补偿。In：程序。第7天。LNCS，第5948卷，第228-243页。Springer-Verlag（2009）·Zbl 1274.68592号
[49] 托罗尼，P.、切萨尼，F.、梅洛，P.和蒙塔利，M.：反应事件演算和承诺建模语言回顾。In：程序。第9天。LNCS，第7169卷，第120-127页。Springer-Verlag（2012）·Zbl 1356.68214号
[50] Torroni，P.、Yolum，P.，Singh，M.P.、Alberti，M.、Chesani，F.、Gavanelli，M.，Lamma，E.、Mello，P.:通过承诺和期望模拟互动。收录于：《多代理系统研究手册：组织模型的语义和动力学》，第263-284页。IGI Global（2009年）
[51] Witteveen，C.，Roos，N.，van der Krogt，R.，de Weerdt，M.：单智能体和多智能体计划的诊断。In：程序。AAMAS第四版，第805-812页。ACM（2005）
[52] Yolum，P.，Singh，M.P.：灵活的协议规范和执行：使用承诺应用事件演算规划。In：程序。第1届澳大利亚会计准则委员会，第527–534页（2002年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。