TY - GEN
T1 - Expressing properties of coalitional ability under resource bounds
AU - Alechina, N.
AU - Logan, B.
AU - Nga, N.H.
AU - Rakib, A.
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-78650701666&partnerID=MN8TOARS
U2 - 10.1007/978-3-642-04893-7_1
DO - 10.1007/978-3-642-04893-7_1
M3 - Conference proceeding
SN - 3642048927
SN - 9783642048920
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 14
BT - Logic, Rationality, and Interaction - Second International Workshop, LORI 2009, Proceedings
T2 - 2nd International Workshop on Logic, Rationality and Interaction, LORI-II
Y2 - 8 October 2009 through 11 October 2009
ER -