格罗西，D。;D.加巴伊。;范德托雷。 规范化多智能体系统中的规范实现问题。 （英语） Zbl 1201.68125号 Dastani，Mehdi（编辑）等人，《多智能体系统的规范和验证》。魏比·范德霍克（Wiebe van der Hoek）的前言。多德雷赫特：施普林格（ISBN 978-1-4419-6983-5/hbk；978-1-44109-6984-2/电子书）。195-224 (2010). 概要：规范实现问题在于如何确保系统中的代理遵守系统设计者为该系统指定的规范。这是如何综合或创建多智能体系统规范这一更为普遍的问题的一部分，例如，通过强调在管理和执行之间的选择，或与违反规范相关的惩罚。在本文中，我们讨论了如何在一个正式的博弈理论框架中区分多智能体系统中实现规范的各种方法。特别是，我们展示了如何将不同类型的规范实现统一地指定为扩展博弈的转换类型并加以验证。我们引入了执行规范的滞后先决条件的概念，并说明了框架和在区块世界环境中执行规范的各种方法。关于整个系列，请参见[Zbl 1201.68005号]. 引用于2文件 理学硕士： 第68页第42页 Agent技术与人工智能 关键词：延迟前提条件 PDF格式BibTeX公司 XML格式引用 \textit{D.Grossi}等人，in：多代理系统的规范和验证。魏比·范德霍克（Wiebe van der Hoek）的前言。多德雷赫特：施普林格。195-224（2010年；Zbl 1201.68125） 全文： 内政部