×
亚历山大·阿提基斯；马雷克·塞尔戈特；杰里米·皮特

正式论证协议的可执行规范。 （英语） Zbl 1168.68557号

Artif公司。智力。 171，编号10-15，776-804（2007）.
摘要：我们用行动语言\（\mathcal C_+\）描述了Brewka对Rescher最初提出的形式争议理论的重构。重点是程序方面，而不是这一特定议定书是否适合进行辩论和解决争端。该规范分为三个独立的层次，涵盖（i）参与者代理的物理能力，（ii）定义协议本身的规则，规定根据协议哪些行动是“适当的”和“及时的”，以及它们对协议状态的影响，以及（iii）许可、禁止、，以及代理人的义务，以及处理违规行为的制裁和执法战略。还包括一种机制，代理可以通过该机制反对另一参与者的行为，以及可选的“沉默意味着同意”原则。尽管相对简单，但布鲁卡的协议代表了已提出的其他更为复杂的论证和争议解决程序。最后，我们展示了如何使用（mathcal C_+）的“因果计算器”实现来动态显示规范，并研究和验证协议的属性。

引用于5文件

MSC公司：

68T27型 人工智能中的逻辑

关键词：

论证；争论；协议；规范；多智能体系统；规格；动作语言

软件：

社会可视化者；CCalc公司；岛国；NuSMV公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Artikis}等人，Artif。智力。171，编号10--15，776--804（2007；Zbl 1168.68557）
全文： 内政部

参考文献：

[1] 阿克曼，V。；埃尔多安，S。；Lee，J。；Lifschitz，V。；Turner，H.，《用因果计算器的语言代表动物园世界和交通世界》，《人工智能》，153，1-2，105-140（2004）·Zbl 1085.68679号
[2] Amgoud，L。；Maudet，N。；Parsons，S.，使用论证模拟对话，（《多智能体系统国际会议论文集》（2000），IEEE计算机学会），31-38
[3] Artikis，A.，开放规范控制计算系统的可执行规范，也可从作者处获得
[4] Artikis，A。；塞尔戈特，M。；Pitt，J.，《论证协议的可执行规范》，（《人工智能与法律会议论文集》（ICAIL）（2003），ACM出版社），1-11
[5] Artikis，A。；塞尔戈特，M。；Pitt，J.，《指定规范控制的计算社会》，《2006/5年技术报告》，伦敦帝国理工学院计算机系，2006年。2006年3月6日检索自·Zbl 1367.68320号
[6] L.Bodenstaff，H.Prakken，G.Vreeswijk，《关于事件演算中论证的对话系统形式化》，摘自：《非单调推理研讨会论文集》，2006年；L.Bodenstaff，H.Prakken，G.Vreeswijk，《关于事件演算中论证的对话系统形式化》，摘自：《非单调推理研讨会论文集》，2006年
[7] Bondarenko，A。；Dung，P.M.先生。；科瓦尔斯基，R。；Toni，F.，《默认推理的抽象论证理论方法》，《人工智能》，93，63-101（1997）·Zbl 1017.03511号
[8] Brewka，G.，《动态论证系统：基于情境演算的论证过程形式化模型》，《逻辑与计算杂志》，11，2，257-282（2001）·Zbl 0986.68141号
[9] Brewka，G。；Eiter，T.，《优先化默认逻辑》（Festschrift W.Bibel成立60周年（1998），Kluwer）·Zbl 0997.03032号
[10] C.Cayrol，《论论证与基于连贯的蕴涵之间的关系》，载《国际人工智能联合会议论文集》，1995年，第1443-1448页；C.Cayrol，《论论证与基于连贯的蕴涵之间的关系》，载于《国际人工智能联合会议论文集》，1995年，第1443-1448页
[11] Chesñevar，C。；Maguitman，A。；Loui，R.，论点的逻辑模型，ACM计算调查，32，4，337-383（2000）
[12] Cimatti，A。；克拉克，E。；Giunchiglia，E。；Giunchiglia，F。；皮斯托尔，M。；Roveri，M。；塞巴斯蒂亚尼，R。；Taccella，A.，NuSMV版本2:符号模型检查的开源工具（计算机辅助验证国际会议（CAV 2002））。程序。计算机辅助核查国际会议（CAV 2002），哥本哈根，2002年7月。程序。计算机辅助验证国际会议（CAV 2002）。程序。计算机辅助验证国际会议（CAV 2002），哥本哈根，2002年7月，计算机科学讲稿，第2404卷（2002），斯普林格），见·兹比尔1010.68766
[13] R.Craven，动作语言的执行机制\（\mathcal｛C｝+\）；R.Craven，动作语言的执行机制\（\mathcal｛C｝+\）
[14] 克雷文，R。；Sergot，M.，《（C+）中的远距离因果关系》，Studia Logica，79，1，73-96（2005）·Zbl 1079.03018号
[15] Dung，P.M.，《论据的可接受性及其在非单调推理、逻辑编程和n人博弈中的基本作用》，《人工智能》，77，2，321-358（1995）·Zbl 1013.68556号
[16] 埃斯特瓦，M。；de la Cruz，D。；Sierra，C.，《ISLANDER:电子机构编辑》（Castelfranchi，C.；Johnson，L.，《自治代理和多代理系统会议记录》（2002），ACM出版社），1045-1052
[17] 埃斯特瓦，M。；Padget，J。；Sierra，C.，《规范化制度和规范的语言》（Meyer，J.-J.；Tambe，M.，《智能代理VIII:代理理论、架构和语言》，《智能Agent VIII:Agent理论、架构与语言》，人工智能讲义，第2333卷（2002），Springer），348-366·Zbl 1050.68613号
[18] 埃斯特瓦，M。；罗德里格斯·阿吉拉尔（Rodriguez-Aguilar，J.）。；Arcos，J。；塞拉，C。；Garcia，P.，《开放多代理系统的制度化》（Durfee，E.，《多代理系统国际会议论文集》（2000），IEEE出版社），381-382
[19] 埃斯特瓦，M。；罗德里格斯·阿吉拉尔（Rodriguez-Aguilar，J.）。；塞拉，C。；加西亚，P。；Arcos，J.，《关于电子机构的正式规范》，（Dignum，F.；Sierra，C.，《代理中介电子商务》，代理中介电子商业，人工智能讲义，第1991卷（2001年），Springer），126-147
[20] Fitoussi，D。；Tennenholtz，M.，《为多智能体系统选择社会法则：最小性和简单性》，《人工智能》，119，1-2，61-101（2000）·Zbl 0945.68170号
[21] Fulda，J.，“不当交叉”的逻辑，人工智能与法律，8，4，337-341（2001）
[22] Giunchiglia，E。；Lee，J。；Lifschitz，V。；麦凯恩，N。；Turner，H.，非单调因果理论，人工智能，153，1-2，49-104（2004）·Zbl 1085.68161号
[23] E.Giunchiglia，J.Lee，V.Lifschitz，H.Turner，因果律和多值流利语，收录于：非单调推理、行动和改变（NRAC）研讨会论文集，2001年；E.Giunchiglia，J.Lee，V.Lifschitz，H.Turner，因果律和多值流利语，收录于：非单调推理、行动和改变（NRAC）研讨会论文集，2001年
[24] Gordon，T.，《辩护游戏：计算辩证法的实践》，《人工智能与法律》，第2239-292页（1994年）
[25] Gordon，T.，《辩护游戏：程序正义的人工智能模型》（1995年），Kluwer学术出版社
[26] 琼斯，A。；Sergot，M.，《论法律和计算机系统的特征：规范系统的视角》，（《计算机科学中的道义逻辑：规范系统规范》（1993），J.Wiley and Sons），275-307·Zbl 0845.68088号
[27] 琼斯，A。；Sergot，M.，《制度化权力的正式表征》，《IGPL杂志》，4，3，429-445（1996）·Zbl 0855.03014号
[28] 克莱因，M。；罗德里格斯·阿吉拉尔（Rodriguez-Aguilar，J.）。；Dellarocas，C.，《使用独立于域的异常处理服务来实现健壮的开放多代理系统：代理死亡的情况》，《自治代理和多代理系统杂志》，7，1-2179-189（2003）
[29] 科瓦尔斯基，R。；Sergot，M.，《基于逻辑的事件演算》，新一代计算，4，167-96（1986）·Zbl 1356.68221号
[30] 克劳斯，S。；Sycara，K。；Evenchik，A.，通过论证达成协议：逻辑模型和实现，人工智能，104，1-2，1-69（1998）·Zbl 0908.68033号
[31] 克劳斯，P。；Ambler，S。；Fox，J.，《不确定推理的论证逻辑》，计算智能，11，1，113-131（1995）
[32] J.Lee，V.Lifschitz，H.Turner，用因果计算器的语言描述动物园世界，载于：常识形式化研讨会论文集，2001年；J.Lee，V.Lifschitz，H.Turner，用因果计算器的语言描述动物园世界，载于：常识形式化研讨会论文集，2001年·Zbl 1085.68679号
[33] Lifschitz，V.，《因果计算器中的传教士和食人者》（Cohn，A.；Giunchiglia，F.；Selman，B.，《知识表示和推理原则会议论文集》（KR）（2000年），Morgan Kaufmann），85-96
[34] Lifschitz，V。；北卡罗来纳州麦凯恩。；雷莫利纳，E。；Taccella，A.，《到达机场：人工智能中最古老的规划问题》，（Minker，J.，Logic-Based Artificial Intelligence（2000），Kluwer），147-168·Zbl 0979.68099号
[35] Makinson，D.，《权利关系的形式表征》，《哲学逻辑杂志》，第15期，第403-425页（1986年）·Zbl 0605.03003号
[36] McBurney，P。；帕森斯，S。；Wooldridge，M.，《agent论证协议的渴望》，（Castelfranchi，C.；Johnson，L.，《自治agent和多agent系统会议论文集》（AAMAS）（2002），ACM出版社），402-409
[37] 明斯基，N。；Ungureanu，V.，《法律控制的交互：异构分布式系统的协调和控制机制》，《ACM软件工程与方法学报》（TOSEM），9，3，273-305（2000）
[38] Y.Moses，M.Tennenholtz，《人工社会系统的计算方面》，载于：《分布式人工智能研讨会论文集》，1992年，第267-284页；Y.Moses，M.Tennenholtz，《人工社会系统的计算方面》，摘自：《分布式人工智能（DAI）研讨会论文集》，1992年，第267-284页
[39] 摩西，Y。；Tennenholtz，M.，《人工社会系统、计算机和人工智能》，第14、6、533-562页（1995年）
[40] 帕森斯，S。；McBurney，P.，代理间基于论证的通信，（多代理系统中的通信。多代理系统的通信，计算机科学讲义，第2650卷（2003），Springer），164-178·Zbl 1020.68678号
[41] 帕森斯，S。；伍尔德里奇，M。；Amgoud，L.，《正式代理间对话分析》，（《自治代理和多代理系统会议论文集》（2002），ACM出版社），394-401
[42] 帕森斯，S。；伍尔德里奇，M。；Amgoud，L.，《关于正式机构间对话的结果》，（《自治机构和多机构系统会议记录》（2003年），ACM出版社），616-623
[43] 帕森斯，S。；伍尔德里奇，M。；Amgoud，L.，一些正式代理间对话的性质和复杂性，《逻辑与计算杂志》，13，3，347-376（2003）·Zbl 1038.03037号
[44] Pollock，J.，Oscar-一个通用的不可行推理机，《应用非经典逻辑杂志》，6，1，89-113（1996）·Zbl 0960.68682号
[45] H.Prakken，形式化罗伯特的秩序规则，技术报告12，GMD-德国国家信息技术研究中心，1998年；H.Prakken，形式化Robert的顺序规则，技术报告12，GMD-德国国家信息技术研究中心，1998年
[46] Prakken，H.，《关于带有言语行为、论据和反驳的对话系统》，（《人工智能中的逻辑学研讨会论文集》，《人工智能逻辑研讨会论文集，人工智能讲义》，第1919卷（2000年），施普林格），224-238·Zbl 0998.68161号
[47] Prakken，H.，《论证对话游戏中的连贯性和灵活性》，《逻辑与计算杂志》，第15期，1009-1040页（2005年）·Zbl 1092.03014号
[48] Prakken，H.，说服对话的正式系统，《知识工程评论》，21，2，163-188（2006）
[49] 普拉肯，H。；Gordon，T.，《电子群决策的顺序规则——一种形式化方法》，（Padget，J.，《人类社会与人工社会之间的合作》，《人类与人工社会的合作》（Collaboration between Human and Artificial Societies），计算机科学讲义，第1624卷（1999），Springer），246-263
[50] 普拉肯，H。；Sartor，G.，《具有不可行优先级的基于论证的扩展逻辑编程》，《应用非经典逻辑杂志》，7，1，25-75（1997）·Zbl 0877.68019号
[51] 普拉肯，H。；Vreeswijk，G.，《可废止论证的逻辑学》（Gabbay，D.；Guenthner，F.，《哲学逻辑手册》，第4卷（2002），Kluwer学术出版社），218-319·Zbl 1003.03503号
[52] Reiter，R.，《行动中的知识：描述和实现动态系统的逻辑基础》（2001），麻省理工学院出版社·Zbl 1018.03022号
[53] Rescher，N.，《辩证法：以争议为导向的知识理论方法》（1977），纽约州立大学出版社
[54] 罗德里格斯·阿吉拉尔，J。；马丁，F。；诺列加，P。；加西亚，P。；Sierra，C.，《走向电子拍卖市场中交易代理的试验台》，AI Communications，11，1，5-19（1998）
[55] 罗德里格斯·阿吉拉尔（Rodriguez-Aguilar，J.）。；Sierra，C.，《启用开放代理机构》（Dautenhahn，K.；Bond，A.；Canamero，L.；Edmonds，B.，《社会智能代理：与计算机和机器人建立关系》（2002），Kluwer学术出版社），259-266
[56] Searle，J.，《言语行为》（1969），剑桥大学出版社
[57] Sergot，M.，（（C+）^{+}：建模规范和机构的行动语言，技术报告2004/8，计算系，伦敦帝国理工学院，2004。2006年3月6日检索自
[58] Sergot，M.，《模拟不可靠和不可信的代理行为》，（Dunin-Keplicz，B.；Jankowski，A.；Skowron，A.；Szczuka，M.《多代理系统中的监控、安全和救援技术研讨会论文集》（MSRAS）。《多智能体系统中的监控、安全和救援技术研讨会论文集》（MSRAS），《软计算进展》（2004），斯普林格出版社，161-178·Zbl 1090.68091号
[59] 塞尔戈特，M。；Craven，R.，动作语言nC+的道义成分，（Goble，L.；Meyer，J.-J.C.，道义逻辑和人工规范系统。第八届计算机科学道义逻辑国际研讨会（DEON'06）。道义逻辑和人工规范系统。程序。第八届计算机科学道义逻辑国际研讨会（DEON'06），乌得勒支，2006年7月。道义逻辑和人工规范系统。程序。第八届计算机科学道义逻辑国际研讨会（DEON’06）。道义逻辑和人工规范系统。程序。第八届计算机科学道义逻辑国际研讨会（DEON’06），乌得勒支，2006年7月，《人工智能讲义》，第4048卷（2006），施普林格出版社，222-237·Zbl 1148.68489号
[60] Shanahan，M.，《事件演算解释》（Wooldridge，M；Veloso，M，《今日人工智能》，人工智能讲义，第1600卷（1999），Springer），409-430·Zbl 0921.00013号
[61] Shanahan，M.，诱因事件演算规划师，《逻辑编程杂志》，44207-239（2000）·Zbl 0957.68106号
[62] 肖姆，Y。；Tennenholtz，M.，《关于人工智能社会有用社会规律的综合》（Swartout，W.，《人工智能会议论文集》（1992），美国人工智能学会出版社/麻省理工学院出版社），276-281
[63] 肖姆，Y。；Tennenholtz，M.，《关于人工智能社会的社会规律：离线设计》，《人工智能》，第73、1-2、231-252页（1995年）·Zbl 1507.68309号
[64] Singh，M.，代理通信语言的社会语义学，（Dignum，F.；Greaves，M.《代理通信问题》，代理通信问题，计算机科学讲义，第1916卷（2000年），Springer），31-45
[65] Tennenholtz，M.，《关于动态非均质社会结构的计算社会规律》，《实验和理论人工智能杂志》，7379-390（1995）
[66] 尤卢姆，P。；Singh，M.，《灵活协议规范和执行：使用承诺应用事件演算规划》，（Castelfranchi，C.；Johnson，L.，《自治代理和多代理系统会议论文集》（AAMAS）（2002），ACM出版社），527-535
[67] 尤卢姆，P。；Singh，M.，《事件演算中关于承诺的推理：指定和执行协议的方法》，《数学和人工智能年鉴》，42，1-3，227-253（2004）·Zbl 1059.68133号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。