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 language | English |
|---|---|
| Title of host publication | 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010 |
| Publisher | IFAAMAS |
| Pages | 481-488 |
| Number of pages | 8 |
| ISBN (Print) | 9781617387715 |
| Publication status | Published - 2010 |
| Externally published | Yes |
| Event | 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010 - Toronto, Canada Duration: 10 May 2010 → 14 May 2010 Conference number: 9th |
Publication series
| Name | Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS |
|---|---|
| Volume | 1 |
| ISSN (Print) | 1548-8403 |
| ISSN (Electronic) | 1558-2914 |
Conference
| Conference | 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010 |
|---|---|
| Abbreviated title | AAMAS 2010 |
| Country/Territory | Canada |
| City | Toronto |
| Period | 10/05/10 → 14/05/10 |
Keywords
- Logics for agency
- Verification of mas