摘要

多智能体系统被视为由个体智能体组成,其行为受到面向组织的规范性人工制品的调节。本文介绍了一种编程语言的简化版本,该语言旨在实现标准工件。这些文物是根据监测、管理和制裁机制所执行的规范加以规定的。介绍并讨论了编程语言的语法和操作语义。提出了一种逻辑,可用于指定和验证用该语言开发的程序的属性。

此内容仅以PDF格式提供。
您当前没有访问此文章的权限。