An Extension of RB-ATL
An Extension of RB-ATL
复制标题
RB-ATL 的扩展
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
N. H. Nga
中科院分区：
文献类型：
--
作者：
N. H. Nga
RB-ATL是一种逻辑，用于指定多智能体系统的联盟属性，其中行动需要一定数量的资源。RB-ATL允许我们表达属性，例如在有限的资源量内，一组代理可以产生特定的结果，但不能产生另一个结果。本文扩展了RB-ATL，使其能够表达联盟属性，我们只考虑所有资源的一个子集的限制。
RB-ATL is a logic to specify coalitional properties of multiagent systems where actions cost certain amount of resources. RB-ATL allows us to express properties such as within a limited amount of resources, a group of agents can produce a particular result but not another. This paper extends RB-ATL so that it is possible to express coalitional properties where we only consider the limitation over a subset of all resources.