简·布罗森;斯蒂芬·克雷菲尔德;叶希亚Elrakaiby;加布贝，多夫;大卫·格罗西;埃米利亚诺·洛里尼;家长，Xavier;范德托雷，Leendert W.N。;卢卡·图莫利尼;保罗·图里尼;弗朗索瓦州施瓦岑特鲁伯 规范推理和结果。 （英语） Zbl 1482.68227号 Andrighetto，Giulia（编辑）等，规范化多智能体系统。第三届研讨会会议记录，德国达格斯图尔，2012年。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。Dagstuhl Follow-Ups 4，33-70（2013）。 摘要：在本章中，我们首先对研究领域的方法论和相关性进行了概述，然后讨论了多智能体系统的规范推理，最后讨论了当前的研究挑战。我们涵盖了现代道义逻辑中的主要问题，这比道义逻辑的传统模态逻辑框架要宽泛得多，重点是我们的目标受众。为了强调这一广泛性，我们通常指的是“道义逻辑和规范体系”，而不仅仅是道义逻辑。关于整个系列，请参见[Zbl 1375.68012号]. 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 68T42型 Agent技术与人工智能 关键词：规范;MAS公司 软件：SCIFF公司;LoTREC公司;Lotrec方案 PDF格式BibTeX公司 XML格式引用 \textit{J.Broersen}等人，Dagstuhl Follow-Ups 4，33--70（2013；Zbl 1482.68227） 全文： DOI程序 参考文献： [1] S.Abiteboul、R.Hull和V.Vianu，编辑。数据库基础：逻辑层。Addison-Wesley Longman Publishing Co.，Inc.，美国马萨诸塞州波士顿，1995年。国际标准书号0201537710·Zbl 0848.68031号 [2] A.Abou El Kalam、S.Benferhat、A.Miège、R.El Baida、F.Cuppens、C.Saurel、P.Balbiani、Y.Deswarte和G.Trouessin。基于组织的访问控制。分布式系统和网络政策，IEEE国际研讨会，2003年0月120日。国际标准书号0-7695-1933-4。 [3] M.Alberti、F.Chesani、M.Gavanelli、E.Lamma、P.Mello和P.Torroni。溯因逻辑编程中的可验证代理交互：sciff框架。ACM计算逻辑汇刊，9（4），2008·Zbl 1367.68273号 [4] M.Alberti、M.Gavanelli、E.Lamma、F.Chesani、P.Mello和P.Torroni。代理交互的符合性验证：一种基于逻辑的软件工具。应用人工智能，20（2）：133-1572006。 [5] M.阿尔贝蒂、M.加瓦内利、E.拉姆、P.梅洛、P.托罗尼和G.萨托。将道义运算符映射到诱拐期望。计算与数学组织理论，12:205-2252006·Zbl 1103.68665号 [6] C.Alchourrón和E.Bulygin。规范的表达概念。在[76]95-124中。 [7] C.Alchourrón、P.Gärdefors和D.Makinson。论理论变革的逻辑：部分满足收缩和修正功能。符号逻辑杂志，50:510-5301985·Zbl 0578.03011号 [8] C.Alchourron和D.Makinson。法规的层次结构及其逻辑。《道义逻辑新研究》编辑R.Hilpinen，第125-148页。多德雷赫特·雷德尔。，1981 [9] C.Alchourrón和D.Makinson。论理论变革的逻辑：收缩功能及其相关的修正功能。理论，48:14-371982年·Zbl 0503.03008号 [10] 拉奥奎斯特。道义逻辑和规范系统理论导论。意大利那不勒斯图书馆，1987年。本文给出了1975年斯波恩给出的DSDL3弱完备性的另一种证明。 [11] 拉奥奎斯特。Alchourrón和bulygin关于道义逻辑和规范命题逻辑：公理化和可表示性结果。《逻辑与分析》，51（203）：225-2612008年·Zbl 1166.03008号 [12] L.Au qvist和J.Hoepelman。关于道义时态逻辑树系统的几个定理。《道义逻辑新研究》编辑R.Hilpinen，187-221页。雷德尔，1981年。 [13] A.Artikis和M.Sergot。开放多智能体系统的可执行规范。IGPL逻辑期刊，18（1）：31-652010·兹比尔1197.68081 [14] A.Artosi、P.Cattabriga和G.Governatori。Ked：道义定理证明器。《逻辑程序设计的法律应用研讨会》，第60-76页，1994年。这是一个“道义”SDL的证明，但实际上是几个模态逻辑的证明。 [15] G.Aucher、G.Boella和L.van der Torre。动态认知道义逻辑中的规定义务和描述性义务。G.Governatori和G.Sartor主编，《第十届计算机科学道义逻辑国际会议论文集》（DEON 2010），LNAI第6181卷，第150-161页，2010年。 [16] G.Aucher、G.Boella和L.van der Torre。隐私合规性的动态逻辑。Artif公司。智力。法律，19（2-3）：187-2312011。 [17] G.Aucher、D.Grossi、A.Herzig和E.Lorini。动态上下文逻辑。编辑X.He、J.Horty和E.Pacuit，《2009年LORI会议录》，LNAI第5834卷。施普林格，2009年·Zbl 1196.03030号 [18] R.奥曼。相关均衡作为贝叶斯理性的表达。《计量经济学》，55:1-181987年·Zbl 0633.90094号 [19] P.巴尔比亚尼。道义推理的逻辑方法：从基本问题到动态解决方案。国际智能系统杂志，23（10）：1021-10452008。本文包含由PDL组成的道义逻辑·Zbl 1161.03009号 [20] P.Balbiani、A.Herzig和N.Troquard。可供选择的公理学和交付理论的复杂性。《哲学逻辑杂志》，37（4）：387-4062008。本文给出了单个Chellas的STIT和单个审议STIT的公理化·Zbl 1151.03008号 [21] M.Baldoni、C.Baroglio和E.Marengo。基于行为导向承诺的协议。ECAI编辑H.Coelho、R.Studer和M.Wooldridge，《人工智能与应用前沿》第215卷，第137-142页。IOS出版社，2010年。国际标准图书编号978-1-60750-605-8·Zbl 1211.68451号 [22] P.巴萨。有条件义务、道义悖论和代理的逻辑。《数学与人工智能年鉴》，9（1-2）：1-231993·兹伯利0866.03010 [23] N.Belnap、M.Perloff和M.Xu。面向未来：我们的非传统世界中的代理人和选择。牛津，2001年。 [24] 比切里：《社会的语法：社会规范的本质和动态》。剑桥大学出版社，2006年。 [25] H.Billhardt、R.Centeno、C.E.Cuesta、A.Fernández、R.Hermoso、R.Ortiz、S.Ossowski、J.S.Pérez-Sotelo和M.Vasirani。下一代分布式系统中的组织结构：走向协议技术。多代理和网格系统，7（2-3）：109-1252011。 [26] K.宾摩尔。公平竞争的起源。英国科学院院刊，151:151-1932007。 [27] A.波奇曼。解释性非单调推理。世界科学出版公司，纽约，伦敦，2005年·Zbl 1092.68092号 [28] G.Boella、G.Governatori、A.Rotolo和L.van der Torre。对法律解释的逻辑理解。KR.AAAI出版社编辑F.Lin、U.Sattler和M.Truszczynski，2010年。 [29] G.Boella、G.Pigozzi、M.Singh和H.Verhagen，编辑。关于规范多智能体系统的特别问题。IGPL逻辑杂志，18（1），2010年·Zbl 1193.68253号 [30] G.Boella和L.van der Torre。规范体系的逻辑结构。在[67]24-35中·Zbl 1148.68478号 [31] G.Boella和L.van der Torre。等级规范体系中的权限和义务。第九届人工智能与法律国际会议论文集，ICAIL 2003年6月24-28日，英国苏格兰爱丁堡。ACM，2003。修订后的版本将出现在《人工智能与法律》中。 [32] G.Boella和L.van der Torre。规范多智能体系统设计中的构成规范。《多智能体系统中的计算逻辑》，第六届国际研讨会，CLIMA VI，LNCS 3900，第303-319页。斯普林格，2006年·Zbl 1236.68247号 [33] G.Boella和L.van der Torre。在分布式动态环境中具有权力层级的机构。人工智能与法律，16（1）：53-712008。 [34] G.Boella和L.van der Torre。协议技术的推理。提交。 [35] G.Boella、L.van der Torre和H.Verhagen，编辑。关于规范多智能体系统的特别问题。计算与数学组织理论，12（2-3），2006。 [36] C.Boutiler。正规的条件逻辑：模态方法。Artif公司。整数。，68(1): 87-154, 1994. ·Zbl 0811.68114号 [37] J.布罗森。战略道义时序逻辑作为ATL的简化，并应用于Chisholm的场景。L.Goble和J.-J.Meyer，编辑，《第八届计算机科学道义逻辑国际研讨会论文集》（DEON'06），计算机科学讲义4048卷，第53-68页。斯普林格，2006年·Zbl 1148.68480号 [38] J.布罗森。道义认识论是《门·理》的逻辑区分模式。应用逻辑杂志，9（2）：127-1522011·Zbl 1221.03017号 [39] J.布罗森。概率行为和道义逻辑。《第十二届多智能体系统计算逻辑国际研讨会论文集》，《人工智能课堂讲稿》第6814卷，第293-294页。施普林格，2011年。 [40] J.Broersen、F.Dignum、V.Dignom和J.-J.Meyer。设计截止日期的道义逻辑。编辑A.Lomuscio和D.Nute，《计算机科学道义逻辑国际研讨会论文集》（DEON’04），计算机科学讲义第3065卷，第43-56页。斯普林格，2004年·Zbl 1169.03334号 [41] N.Bulling和M.Dastani。通过规范机制设计验证规范行为。IJCAI编辑T.Walsh，第103-108页。IJCAI/AAAI，2011年。国际标准图书编号978-1-57735-516-8。 [42] C.卡斯特尔弗朗奇。对于期望的系统理论。2007年欧洲认知科学会议论文集。 [43] C.Castelfranchi、F.Giardini、E.Lorini和L.Tummolini。预测性态度的规定性命运：通过惯例从期望到规范。《认知科学学会第25届年会论文集》，第222-2272003页。网址：http://csjarchive.cogsci.rpi.edu/proceedings/2003/pdfs/61.pdf。 [44] F.Chesani、P.Mello、M.Montali和P.Torroni。通过反应事件演算进行承诺跟踪。《第21届国际人工智能联合会议（IJCAI）会议记录》，第91-96页。Morgan Kaufmann，2009年。 [45] R.奇索姆。背道而驰的命令和道义逻辑。分析，24:33-361963年。 [46] O.Cliffe、M.De Vos和J.Padget。使用答案集编程对规范框架进行建模。《第十届逻辑编程与非单调推理国际会议论文集》，《计算机科学讲义》第5753卷，第548-553页。施普林格，2009年。统一资源定位地址http://dx.doi.org/10.1007/978-3642-04238-6_56。 ·doi:10.1007/978-3-642-04238-6_56 [47] R.科斯。社会成本问题。《法律与经济杂志》，1960年第1期。 [48] J.科尔曼。社会理论基础。贝尔纳普哈佛大学，1990年。 [49] R.Conte和C.Castelfranchi。认知和社会行动。伦敦大学出版社，1995年。 [50] S.Cranefield公司。一种用于在多智能体系统中建模和监控社会期望的规则语言。《多智能体系统中的协调、组织、制度和规范》，人工智能讲义第3913卷，第246-258页。斯普林格，2006年。 [51] S.Cranefield和M.Winikoff。通过模型检查截断路径验证社会期望。逻辑与计算杂志，21（6）：1217-12562011·Zbl 1228.03014号 [52] S.Cranefield、M.Winikoff和W.Vasconcelos。建模和监控相互依赖的期望。S.Cranefield、M.B.van Riemsdijk、J.Vázquez-Salceda和P.Noriega，《Agent System VII中的协调、组织、机构和规范》编辑，《人工智能讲义》第7254卷，第149-166页。施普林格，2012年。 [53] F.Cuppens、N.Cuppins-Balahia和T.Ramard。通过义务和方面识别执行可用性。在ARES’06：第一届可用性、可靠性和安全性国际会议记录，第229-239页。IEEE计算机学会，华盛顿特区，美国。国际标准图书编号0-7695-2567-9。 [54] L.del Cerro、D.Fauthoux、O.Gasquet、A.Herzig、D.Longin和F.Massacci。Lotrec：用于模态和描述逻辑的通用tableau证明程序。《自动推理》，第453-458页，2001年。这是关于在图卢兹开发的通用表证明程序Lotrec的第一篇论文。实现了SDL·Zbl 0988.68592号 [55] 编辑F.Dignum和R.van Eijk。关于代理通信的特殊问题。自治代理和多代理系统，14（2），2007。 [56] P.Dung。论据的可接受性及其在非单调推理、逻辑编程和n人博弈中的基本作用。Artif公司。整数。，77(2):321-358, 1995. ·Zbl 1013.68556号 [57] K.Erol、J.Hendler和D.S.Nau。Htn计划：复杂性和表达性。《第十二届全国人工智能会议论文集》（AAAI-94），第1123-1128页。AAAI出版社，1994年。 [58] M.配件。模态逻辑和直觉逻辑的证明方法。D.Reidel，Dordrecht，1983年。本书提供了证明方法，并定义了“严格分析”·Zbl 0523.03013号 [59] M.福勒。UML提炼：标准对象建模语言简要指南。Addison-Wesley Longman Publishing Co.，Inc.，美国马萨诸塞州波士顿，2003年第3版。国际标准图书编号0321193687。 [60] G.P.G.Boella和L.van der Torre。规范变更的规范框架。程序中。AAMAS 2009。ACM，2009年。 [61] D.Gabbay、J.Horty、R.van der Meyden、X.Parent和L.van de Torre（编辑）。道义逻辑和规范系统手册。与伦敦大学出版社合作·兹比尔1309.03001 [62] D.Gabbay、G.Pigozzi和J.Woods。受控修正-信念修正的算法方法。《逻辑与计算杂志》，13:3-222003年·Zbl 1028.03015号 [63] V.Genovese、D.Garg和D.Rispoli。访问控制逻辑的标记顺序计算：计数器模型、饱和和外推。2012年第25届IEEE计算机安全基础研讨会的会议记录。 [64] H.金蒂斯。理性的界限。普林斯顿大学出版社，2010年。 [65] L.Goble。初步规范、规范冲突和困境。即将推出[61]·Zbl 1367.03037号 [66] L.Goble。道义逻辑的偏好语义。第一部分-简单模型。《逻辑与分析》，46:383-4182008·Zbl 1073.03014号 [67] L.Goble和J.-J.Meyer，编辑。道义逻辑和人工规范系统。第八届计算机科学中道义逻辑国际研讨会，DEON 2006，乌得勒支，2006年7月，会议记录。施普林格，柏林，2006年。 [68] G.Governatori和A.Rotolo。不断变化的法律制度：在可废止逻辑中的法律废除和废止。IGPL的逻辑杂志，18（1）：157-1942010·Zbl 1197.68071号 [69] D.Grossi、L.Tummolini和P.Turrini。博弈论中的规范。在协议技术手册中。2012 [70] J·汉森。优先命令的道义逻辑。《人工智能与法律》，2005年。 [71] J·汉森。优先条件命令：问题和新建议。《自治代理和多代理系统杂志》，17（1）：11-352008。 [72] B.汉森。对一些道义逻辑的分析。Nous，3（4）：1969年，第373-398页。本文根据模型中的约束条件，特别是DSDL1、DSDL2、DSDL3，提出了不同的并元道义逻辑变体·Zbl 1366.03069号 [73] H.哈特。法律概念。克拉伦登，牛津，1994年。 [74] A.Herzig和F.Schwarzentruber。个人和团体代理的逻辑属性。模态逻辑进展，7:133-1492008。本文回顾了单个Chellas的STIT（公理化和复杂性结果）的结果，并指出群Chellas STIT是不可判定的且不是有限公理化的·Zbl 1244.03099号 [75] A.Heuerding、M.Seyfried和H.Zimmermann。在一些非经典命题逻辑中进行向后证明搜索的有效循环检查。在TABLEAUX’96：第五届用解析表及相关方法证明定理国际研讨会论文集，第210-225页。Springer-Verlag，英国伦敦，1996年。本文介绍了循环检查技术·Zbl 1415.03023号 [76] R.Hilpinen，编辑。道义逻辑新研究。多德雷赫特·雷德尔，1981年。 [77] J.霍蒂。代理和道义逻辑。2001. ·Zbl 1119.03313号 [78] J.霍蒂。具有优先级的默认值。《哲学逻辑杂志》，36:367-4132007·Zbl 1125.03021号 [79] L.Hurwicz。机构作为游戏形式的家族。《日本经济评论》，47（2）：113-1321996年。 [80] L.Hurwicz。但谁将守护守护者？《美国经济评论》，98（3）：577-5852008。 [81] S.Jajodia、P.Samarati和V.S.Subrahmanian。用于表示授权的逻辑语言。安全与隐私，IEEE研讨会，1997年0月31日。编号1540-7993。 [82] A.琼斯和M.瑟格特。制度化权力的正式特征。IGPL杂志，3:427-4431996·Zbl 0855.03014号 [83] H.凯尔森。规范通论。克拉伦登，牛津，1991年。 [84] R.Kowalski和M.Sergot。基于逻辑的事件演算。新一代计算，4:67-691986·Zbl 1356.68221号 [85] D.刘易斯。公约：哲学研究。剑桥大学出版社，1969年。 [86] D.刘易斯。二元道义逻辑的语义分析。《逻辑理论和语义分析》编辑S.Stenlund，第1-14页。多德雷赫特·雷德尔，1974年·Zbl 0331.02013 [87] C.列表和C.木偶。判断聚合：一项调查。《牛津理性与社会选择手册》编辑P.Anand、C.Puppe和P.Pattanaik。牛津大学出版社，纽约，2009年。 [88] E.洛里尼。对承诺及其动态的静态逻辑分析（即将出现）。《应用逻辑杂志》，2012年。本文包含STIT+未来算子的公理化。 [89] E.Lorini和F.Schwarzentruber。推理反事实情绪的逻辑。人工智能，175（3）：814-8472011。本文提出了一种计算事实情绪的STIT逻辑。它给出了Chellas群STIT的一个可判定片段和Hilbert公理化·Zbl 1223.68107号 [90] D.梅金森。道义逻辑的一个基本问题。在[99]中，29-53·Zbl 0943.03005号 [91] D.Makinson和L.van der Torre。输入输出逻辑。哲学逻辑杂志，29（4）：383-4082000·Zbl 0964.03002号 [92] D.Makinson和L.van der Torre。输入-输出逻辑的约束。哲学逻辑杂志，30（2）：155-1852001·Zbl 0993.03039号 [93] D.Makinson和L.van der Torre。从输入-输出角度的权限。《哲学逻辑杂志》，32（4）：391-4162003·Zbl 1028.03017号 [94] E.马利。sollens的Grundgesetze。《心灵》，36（141）：124-b，1927年。本文是道义逻辑的第一种研究方法。它基于经典命题逻辑。 [95] T.Malone和K.Crowston。协调的跨学科研究。计算调查，26（1）：87-1191994。 [96] E.Marengo、M.Baldoni、C.Baroglio、A.Chopra、V.Patti和M.Singh。对法规的承诺：在法规中对安全和控制进行推理。在Sonenberg等人[130]中，第467-474页。 [97] J.麦卡锡。具有常识的程序。《思维过程机械化泰丁顿会议论文集》，第756-91页。伦敦女王陛下文具办公室：女王陛下文书办公室，1959年。 [98] P.麦克纳马拉。道义逻辑。D.Gabbay和J.Woods主编，《逻辑史手册》，第7卷，第197-289页。North-Holland出版社，阿姆斯特丹，2006年。 [99] P.McNamara和H.Prakken，编辑。规范、逻辑和信息系统。IOS，阿姆斯特丹，1999年·Zbl 0918.00016号 [100] J.-J.梅耶。道义逻辑的另一种方法：道义逻辑被视为动态逻辑的变体。《圣母院形式逻辑杂志》，29:109-1361988·兹伯利0695.03009 [101] 蒙塔利先生。声明性开放交互模型的规范和验证——基于逻辑的方法，商业信息处理课堂讲稿第56卷。施普林格，2010年。国际标准图书编号978-3-642-14537-7。1-383页·Zbl 1252.68021号 [102] D.穆迪。符号物理：为软件工程中构建可视化符号奠定科学基础。IEEE软件工程汇刊，35（6）：756-7792009。 [103] D.Moody和J.van Hillegersberg。评估uml的视觉语法：分析uml系列图的认知有效性。在软件语言工程中，计算机科学讲义第5452卷，第16-34页。 [104] Q.Ni、E.Bertino和J.Lobo。连接访问控制策略和隐私策略的义务模型。2008年SACMAT：第13届ACM访问控制模型和技术研讨会会议记录，第133-142页。ACM，美国纽约州纽约市，2008年。国际标准图书编号978-1-60558-129-3。 [105] M.Nickles、M.Rovatsos和G.Weiss。以期望为导向的建模。人工智能的工程应用，18:891-9182005。统一资源定位地址http://dx.doi.org/10.1016/j.engappai.2005.05.002·doi:10.1016/j.engappai.2005.05.002 [106] D.北部。制度、制度变迁与经济绩效。剑桥大学出版社，剑桥，1990年。 [107] J.Odell、H.Van Dyke Parunak和B.Bauer。用UML表示代理交互协议。在In OMG文件AD/99-12-01中。英特尔公司，第121-140页。斯普林格-Verlag，2001年。 [108] M.Osborne和A.Rubinstein。博弈论课程。麻省理工学院出版社，1994年·Zbl 1194.91003号 [109] 十、母公司。关于奥奎斯特二元道义逻辑的强完备性。《计算机科学中的道义逻辑》，第189-202页，2008年。本文包含二元道义逻辑DSDL3公理化的强完备性·Zbl 1144.03016号 [110] 十、父母。Hansson的道义逻辑DSDL2的一个完整公理集。IGPL逻辑杂志，18（3）：422-4292010。DSDL2公理化·Zbl 1218.03021号 [111] 十、母公司。道义逻辑中的道德特殊主义。Artif公司。智力。法律，19（2-3）：75-982011。 [112] J.Park和R.Sandhu。U CON ABC使用控制模型。ACM信息和系统安全事务（TISSEC），7（1）：128-174，2004年2月。 [113] M.Pesic、H.Schonenberg和W.M.P.van der Aalst。声明服务。《现代业务流程自动化》编辑A.H.M.ter Hofstede、W.M.P.van der Aalst、M.Adams和N.Russell，第327-343页。施普林格，2010年。国际标准图书编号978-3-642-03120-5。 [114] M.Piunti、C.Castelfranchi和R.Falcone。期望驱动的方法，适用于定位的、目标导向的代理。第八届AI*IA/TABOO联合研讨会“从对象到代理”：代理和行业：软件代理的技术应用，第104-111页。塞内卡·埃迪齐奥尼·都灵，2007年。 [115] S.Ranathunga、S.Cranefield和M.Purvis。将期望处理集成到BDI代理中。《编程多代理系统》，《人工智能讲义》第7217卷，第74-91页。施普林格，2012年。 [116] D.Rönnedal。二元道义逻辑和语义表。逻辑与逻辑哲学，18（3-4）：221-2522009。待办事项·Zbl 1239.03011号 [117] A.罗托洛。可撤销逻辑中的追溯性法律变更和修正理论。G.Gov-ernatori和G.Sartor，编辑，《第十届计算机科学道义逻辑国际会议论文集》（DEON 2010），LNAI第6181卷，第116-131页。施普林格，2010年。国际标准图书编号978-3-642-14182-9·Zbl 1250.03039号 [118] J.伦博。符号注释：选择符号的原则。面向对象编程杂志，8（10）：11-141996。 [119] H.萨赫奎斯特。模态逻辑的一阶和二阶语义的完整性和对应性。《逻辑与数学基础研究》，82:10-1431975。本文解释了克里普克模型上的约束与公理之间的对应关系·Zbl 0319.02018号 [120] R.Sandhu、E.Coyne、H.Feinstein和C.Youman。基于角色的访问控制模型。IEEE计算机，29（2）：38-471996。 [121] T.谢林。冲突战略。牛津大学出版社，1966年。 [122] F.施瓦岑特鲁伯。stit片段的复杂性结果（将出现）。逻辑研究，2011年。本文通过限制语言中允许的联合，展示了Chellas组STIT的同步片段。这些片段是有限的公理化的。 [123] F.施瓦岑特鲁伯。Lotreccheme公司。理论计算机科学电子笔记，278:187-1992011。本文介绍了表证明程序Lotrec的一些改进，并给出了一个原型·Zbl 1347.68306号 [124] M.沙纳汉。事件演算解释了这一点。M.Wooldridge和M.Veloso主编，《今日人工智能：最新趋势和发展》，人工智能讲义第1600卷，第409-430页。斯普林格，1999年·Zbl 0921.00013号 [125] Y.Shoham和K.Leyton-Brown。多智能体系统：算法、博弈论和逻辑基础。剑桥大学出版社，2008年·Zbl 1163.91006号 [126] Y.Shoham和M.Tennenholtz。人工智能社会的社会规律：离线设计。人工智能，73（12）：231-2521995·Zbl 1507.68309号 [127] M.辛格。辩证和实际承诺的语义考虑。在第23届全国人工智能会议（AAAI）的报告中，第176-181页。AAAI出版社，2008年。 [128] 辛格先生。信任即依赖：一种合乎逻辑的方法。在Sonenberg等人[130]中，第863-870页。 [129] B.Skyrms公司。社会契约的演变。剑桥大学出版社，1996年。 [130] L.Sonenberg、P.Stone、K.Tumer和P.Yolum，编辑。第十届自治代理和多代理系统国际会议（AAMAS 2011），台湾台北，2011年5月2-6日，第1-3卷。IFAAMAS，2011年。 [131] W.斯波恩。汉森二元道义逻辑分析。哲学逻辑杂志，4（2）：237-2521975。本文包含DSDL3的一个弱完备性结果·Zbl 0317.02020号 [132] A.斯托尔佩。规范体系修订：理论与应用。Artif公司。智力。法律，18（3）：247-2832010。 [133] A.斯托尔佩。相关性、减损和许可。DEON编辑G.Governatori和G.Sartor，《计算机科学讲义》第6181卷，第98-115页。施普林格，2010年·Zbl 1250.03040号 [134] A.斯托尔佩。基于减损概念的许可理论。应用逻辑杂志，8（1）：97-1132010·Zbl 1198.03035号 [135] R.托马森。基于时态逻辑的道义逻辑。《道义逻辑新研究》编辑R.Hilpinen，第165-176页。雷德尔，1981年。 [136] S.Tosatto、G.Boella、L.van der Torre和S.Villata。规范体系的可视化。在程序中。DEON 2012，LNCS。施普林格，2012年·Zbl 1297.68218号 [137] D.乌尔曼。《数据库和知识库系统原理》，第一卷，计算机科学出版社，美国纽约州纽约市，1988年。国际标准图书编号0-88175-188-X。 [138] E.乌尔曼·马加利特。规范的出现。牛津：克拉伦登出版社，1977年。 [139] J.van Benthem。信息和交互的逻辑动力学。剑桥大学出版社，2011年·Zbl 1251.03003号 [140] J.van Benthem、D.Grossi和F.Liu。道义=更好+优先。G.Governatori和G.Sartor主编，《第十届计算机科学道义逻辑国际会议论文集》（DEON 2010），LNAI第6181卷，第50-65页。施普林格，2010年·Zbl 1250.03042号 [141] W.van der Hoek、M.Roberts和M.Wooldridge。交替时代的社会规律：有效性、可行性和综合性。综合，156:1:1-192007年·Zbl 1120.68097号 [142] L.van der Torre、G.Boella和H.Verhagen，编辑。关于规范多智能体系统的特别问题。自治代理和多代理系统，17（1），2008。 [143] L.van der Torre和Y.-H.Tan。基于优先权的二元义务的逆职推理。安。数学。Artif公司。整数。，27(1-4):49-78, 1999. ·兹伯利0941.03027 [144] M.Verdicchio和M.Colombetti。基于承诺的交际行为库。在第四届国际自治代理和多代理系统联合会议的报告中，第755-761页。ACM，2005年。 [145] G.von Wright。道义逻辑。《心灵》，1951年第60:1-15页。 [146] I.华莱士和M.罗瓦索斯。ESB框架中的有限实用社会推理。《第八届国际自主代理和多代理系统会议论文集》，第1097-1104页。IFAAMAS，2009年。统一资源定位地址http://dl.acm.org/citation.cfm？id=1558109.1558166。 [147] H.Wansing公司。多智能体审议状态逻辑表。模态逻辑进展，6:503-5202006。本文提出了一个用于个体审议STIT逻辑的非终结表·Zbl 1148.03008号 [148] M.伍尔德里奇。多Agent系统简介（2。编辑）。威利，2009年。1-461页。 [149] R.赖特。因果关系、责任、风险、概率、赤裸裸的统计数据和证据：通过澄清概念修剪荆棘丛。《爱荷华州法律评论》，73:1001-10771988年。 [150] 徐先生。深思熟虑的公理。哲学逻辑杂志，27（5）：505-5521998。本文给出了个人审议性STIT的公理化·兹比尔0917.03007 [151] P.Yolum和M.Singh。事件演算中关于承诺的推理：一种指定和执行协议的方法。数学和人工智能年鉴，42:227-2532004。统一资源定位地址http://dx.doi.org/10.1023/B:AMAI.0000034528.55456.d9。·Zbl 1059.68133号 ·doi:10.1023/B:AMAI.0000034528.55456.d9 [152] X.Zhang、F.Parisi-Prescce、R.Sandhu和J.Park。使用控制的形式化模型和政策规范。ACM事务处理。信息系统。安全。，8（4）：351-3872005年。ISSN 1094-9224。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。