AAAI Publications, Twenty-First International Joint Conference on Artificial Intelligence

Font Size: 
A Logic for Coalitions with Bounded Resources
Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib

Last modified: 2009-06-25

Abstract


Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in the language, and gives a complete and sound axiomatisation of RBCL.

Full Text: PDF