Alternating-time temporal logic with resource bounds
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, a...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Published: |
Oxford University Press
2015
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/28943/ |
| _version_ | 1848793679188197376 |
|---|---|
| author | Nguyen, Hoang Nga Alechina, Natasha Logan, Brian Rakib, Abdur |
| author_facet | Nguyen, Hoang Nga Alechina, Natasha Logan, Brian Rakib, Abdur |
| author_sort | Nguyen, Hoang Nga |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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 describe 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 a model-checking algorithm for it. |
| first_indexed | 2025-11-14T19:04:08Z |
| format | Article |
| id | nottingham-28943 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:04:08Z |
| publishDate | 2015 |
| publisher | Oxford University Press |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-289432020-05-04T17:10:47Z https://eprints.nottingham.ac.uk/28943/ Alternating-time temporal logic with resource bounds Nguyen, Hoang Nga Alechina, Natasha Logan, Brian Rakib, Abdur 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 describe 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 a model-checking algorithm for it. Oxford University Press 2015-06-13 Article PeerReviewed Nguyen, Hoang Nga, Alechina, Natasha, Logan, Brian and Rakib, Abdur (2015) Alternating-time temporal logic with resource bounds. Journal of Logic and Computation . pp. 1-33. ISSN 0955-792X Strategic Ability Resources Axiomatisation of RB-ATL http://logcom.oxfordjournals.org/content/early/2015/06/12/logcom.exv034 doi:10.1093/logcom/exv034 doi:10.1093/logcom/exv034 |
| spellingShingle | Strategic Ability Resources Axiomatisation of RB-ATL Nguyen, Hoang Nga Alechina, Natasha Logan, Brian Rakib, Abdur Alternating-time temporal logic with resource bounds |
| title | Alternating-time temporal logic with resource bounds |
| title_full | Alternating-time temporal logic with resource bounds |
| title_fullStr | Alternating-time temporal logic with resource bounds |
| title_full_unstemmed | Alternating-time temporal logic with resource bounds |
| title_short | Alternating-time temporal logic with resource bounds |
| title_sort | alternating-time temporal logic with resource bounds |
| topic | Strategic Ability Resources Axiomatisation of RB-ATL |
| url | https://eprints.nottingham.ac.uk/28943/ https://eprints.nottingham.ac.uk/28943/ https://eprints.nottingham.ac.uk/28943/ |