迈赫迪·达斯塔尼;John-Jules Ch.梅耶。;大卫·格罗西 规范多代理程序的逻辑。 （英语） Zbl 1262.68163号 J.日志。计算。 23，第2期，335-354（2013）. 摘要：多智能体系统被视为由个体智能体组成，其行为受到面向组织的规范性人工制品的调节。本文介绍了一种编程语言的简化版本，该语言旨在实现标准工件。这些文物是根据监测、管理和制裁机制所执行的规范加以规定的。介绍并讨论了编程语言的语法和操作语义。提出了一种逻辑，可用于指定和验证用该语言开发的程序的属性。 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 68T42型 Agent技术与人工智能 关键词：多智能体系统;规范体系;逻辑;编程;语义学;按规则计数 软件：岛国 PDF格式BibTeX公司 XML格式引用 \textit{M.Dastani}等人，J.Log。计算。23，第2号，335--354（2013；Zbl 1262.68163） 全文： 内政部 链接