Programming Verifiable Heterogeneous Agent Systems
Programming Verifiable Heterogeneous Agent Systems
复制标题
编程可验证的异构代理系统
DOI：
10.1007/978-3-642-03278-3_3
复制
发表时间：
2009
影响因子：
20.6
通讯作者：
Michael Fisher
中科院分区：
文献类型：
--
作者：
Louise Dennis;Michael Fisher
我们的总体目标是为实际的多代理系统提供一个验证框架。为了实现实用性，我们必须能够描述和实现异构多智能体系统。为了实现可验证性，我们必须定义适当的语义用于形式验证。在本文中，我们解决的问题，实现异构多智能体系统在语义上清晰，适当的方式。
Our overall aim is to provide a verification framework for practical multi-agent systems. To achieve practicality, we must be able to describe and implement heterogeneous multi-agent systems. To achieve verifiability, we must define semantics appropriately for use in formal verification. In this paper, we tackle the problem of implementing heterogeneous multi-agent systems in a semantically clear, and appropriate, way.