Resource-bounded alternating-time temporal logic

N. Alechina, B. Logan, N.H. Nga, A. Rakib

Research output: Chapter in Book/Report/Conference proceedingConference proceedingpeer-review

44 Citations (Scopus)

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.
Original languageEnglish
Title of host publication9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010
PublisherIFAAMAS
Pages481-488
Number of pages8
ISBN (Print)9781617387715
Publication statusPublished - 2010
Externally publishedYes
Event9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010 - Toronto, Canada
Duration: 10 May 201014 May 2010
Conference number: 9th

Publication series

NameProceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
Volume1
ISSN (Print)1548-8403
ISSN (Electronic)1558-2914

Conference

Conference9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010
Abbreviated titleAAMAS 2010
Country/TerritoryCanada
CityToronto
Period10/05/1014/05/10

Keywords

  • Logics for agency
  • Verification of mas

Fingerprint

Dive into the research topics of 'Resource-bounded alternating-time temporal logic'. Together they form a unique fingerprint.

Cite this