Resource-bounded alternating-time temporal logic

Alechina, Natasha; Logan, Brian; Nga, Nguyen Hoang; Rakib, Abdur

Abstract

Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability can be affected by the availability of resources, and there is no straightforward way of reasoning about resource requirements in logics such as Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). In this paper, we propose a logic for reasoning about coalitional ability under resource constraints. We extend ATL with costs of actions and hence of strategies. We give a complete and sound axiomatisation of the resulting logic Resource-Bounded ATL (RB-ATL) and an efficient model-checking algorithm for it.

• Presentation Conference Type: Conference Paper (unpublished)
• Conference Name: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3
• Start Date: May 10, 2010
• End Date: May 14, 2010
• Acceptance Date: Dec 18, 2009
• Publication Date: May 10, 2010
• Deposit Date: Jun 16, 2017
• Peer Reviewed: Peer Reviewed
• Pages: 481-488
• Keywords: alternating-time temporal logic, resources
• Public URL: https://uwe-repository.worktribe.com/output/979007
• Publisher URL: http://doi.acm.org/10.1145/1838206.1838274
• Additional Information: Title of Conference or Conference Proceedings : The Ninth International Conference on Autonomous Agents and Multi-agent Systems
• Contract Date: Jun 16, 2017