马克斯·诺布特;迈赫迪·达斯塔尼;John-Jules Ch.梅耶。 用于验证规范化多智能体系统的正式框架。 （英语） Zbl 1475.68189号 Ábrahám，Erika（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 294-308 (2016). 摘要：在本文中，我们关注的是规范的多智能体系统，它是由一组规范控制的多智能体内系统。在这些系统中，我们可能不知道参与代理的内部结构和体系结构，这使我们无法对这些代理可能表现出的行为做出任何有力的假设。因此，我们不能简单地假设代理了解规范，或者他们遵守规范。换句话说，需要解决的一个关键问题是，如果我们不知道代理是否正常，我们如何验证这些系统。本文研究了两个不同的形式化框架，这两个框架使我们能够解决这个问题，即在本文的第一部分中，我们提出了一个使用遵从类型的基于逻辑的框架，而在第二部分中我们提出了从机械设计的角度解决这个问题的框架。关于整个系列，请参见[Zbl 1460.68002号]. MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68T27型 人工智能中的逻辑 68T42型 Agent技术与人工智能 PDF格式BibTeX公司 XML格式引用 \textit{M.Knobbout}等人，Lect。注释计算。科学。9660，294--308（2016；Zbl 1475.68189） 全文： 内政部 链接