A Customizable Coordination Service for Autonomous Agents
A Customizable Coordination Service for Autonomous Agents
复制标题
自治代理的可定制协调服务
DOI：
10.1007/bfb0026752
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
Munindar P. Singh
中科院分区：
文献类型：
--
作者：
Munindar P. Singh
我们解决的问题，构建多智能体系统协调自主代理，其内部设计可能不完全知道。我们开发了一个可定制的协调服务，（a）采取所需的交互声明规范，（B）自动制定它们。我们的方法是基于时态逻辑，并具有严格的语义和自然分布的实现。
We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coordination service that (a) takes declarative specifications of the desired interactions, and (b) automatically enacts them. Our approach is based on temporal logic, and has a rigorous semantics and a naturally distributed implementation.