保罗·图里尼;大卫·格罗西;简·布罗森;John-Jules Ch.梅耶。 禁止不受欢迎的协议：基于依赖性的多代理系统监管方法。 （英语） Zbl 1250.68247号 Guido Governatori等人，《计算机科学中的道义逻辑》。2010年7月7日至9日，第十届国际会议，DEON 2010，意大利菲索。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14182-9/pbk）。计算机科学6181课堂讲稿。人工智能课堂讲稿，306-322（2010）。 总结：本文的目的是建立一种语言，以评估相互依存的主体之间协同行动的结果，对比我们从道义角度认为可取的预定属性。与逻辑对联盟理性行动进行推理的标准观点不同，一组主体做出理性决策的能力将局限于我们所称的协议，这可以被视为特定游戏中存在的依赖结构的解决方案概念。语言将简明扼要地确定那些相应或不符合开始时任意设定的理想属性的协议，并通过逻辑推理揭示这类集体行动的各种结构属性。关于整个系列，请参见[Zbl 1196.03008号]。 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 03B45号 模态逻辑（包括规范逻辑） 68T42型 Agent技术与人工智能 PDF格式BibTeX公司 XML格式引用 \textit{P.Turrini}等人，Lect。注释计算。科学。6181306--322（2010年；Zbl 1250.68247） 全文： 内政部