Expressing Properties of Coalitional Ability under Resource Bounds
Expressing Properties of Coalitional Ability under Resource Bounds
复制标题
表达资源限制下的联盟能力属性
DOI：
10.1007/978-3-642-04893-7_1
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
A. Rakib
中科院分区：
文献类型：
--
作者：
N. Alechina;B. Logan;N. H. Nga;A. Rakib
我们引入联盟逻辑资源游戏（CLRG），它扩展了联盟逻辑，允许明确的推理资源禀赋的联盟代理和资源界限的战略。我们展示了如何在这个逻辑中表达资源约束下联盟能力的有趣性质，包括Wooldridge和Dunne在[1]中引入的联盟资源博弈的性质。我们还给出了一个有效的模型检测算法CLRG，这使得它可以自动验证的属性。
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource bounds on strategies. We show how to express interesting properties of coalitional ability under resource bounds in this logic, including properties of Coalitional Resource Games introduced by Wooldridge and Dunne in [1]. We also give an efficient model-checking algorithm for CLRG which makes it possible to verify the properties automatically.