Verifying existence of resource-bounded coalition uniform strategies
We consider the problem of whether a coalition of agents has a knowledge-based strategy to ensure some outcome under a resource bound. We extend previous work on verification of multi-agent systems where actions of agents produce and consume resources, by adding epistemic pre- and postconditions to...
| Main Authors: | , , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2016
|
| Online Access: | https://eprints.nottingham.ac.uk/33113/ |
| _version_ | 1848794559783370752 |
|---|---|
| author | Alechina, Natasha Dastani, Mehdi Logan, Brian |
| author_facet | Alechina, Natasha Dastani, Mehdi Logan, Brian |
| author_sort | Alechina, Natasha |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | We consider the problem of whether a coalition of agents has a knowledge-based strategy to ensure some outcome under a resource bound. We extend previous work on verification of multi-agent systems where actions of agents produce and consume resources, by adding epistemic pre- and postconditions to actions. This allows us to model scenarios where agents perform both actions which change the world, and actions which change their knowledge about the world, such as observation and communication. To avoid logical omniscience and obtain a compact model of the system, our model of agents’ knowledge is syntactic.We define a class of coalition-uniform strategies with respect to any (decidable) notion of coalition knowledge. We show that the model-checking problem for the resulting logic is decidable for any notion of coalition uniform strategies in these classes. |
| first_indexed | 2025-11-14T19:18:07Z |
| format | Conference or Workshop Item |
| id | nottingham-33113 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:18:07Z |
| publishDate | 2016 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-331132020-05-04T20:01:53Z https://eprints.nottingham.ac.uk/33113/ Verifying existence of resource-bounded coalition uniform strategies Alechina, Natasha Dastani, Mehdi Logan, Brian We consider the problem of whether a coalition of agents has a knowledge-based strategy to ensure some outcome under a resource bound. We extend previous work on verification of multi-agent systems where actions of agents produce and consume resources, by adding epistemic pre- and postconditions to actions. This allows us to model scenarios where agents perform both actions which change the world, and actions which change their knowledge about the world, such as observation and communication. To avoid logical omniscience and obtain a compact model of the system, our model of agents’ knowledge is syntactic.We define a class of coalition-uniform strategies with respect to any (decidable) notion of coalition knowledge. We show that the model-checking problem for the resulting logic is decidable for any notion of coalition uniform strategies in these classes. 2016-07 Conference or Workshop Item PeerReviewed Alechina, Natasha, Dastani, Mehdi and Logan, Brian (2016) Verifying existence of resource-bounded coalition uniform strategies. In: 25th International Joint Conference on Artificial Intelligence, 9-13 July 2016, New York, NY. http://www.ijcai.org/Proceedings/16/Papers/011.pdf |
| spellingShingle | Alechina, Natasha Dastani, Mehdi Logan, Brian Verifying existence of resource-bounded coalition uniform strategies |
| title | Verifying existence of resource-bounded coalition uniform strategies |
| title_full | Verifying existence of resource-bounded coalition uniform strategies |
| title_fullStr | Verifying existence of resource-bounded coalition uniform strategies |
| title_full_unstemmed | Verifying existence of resource-bounded coalition uniform strategies |
| title_short | Verifying existence of resource-bounded coalition uniform strategies |
| title_sort | verifying existence of resource-bounded coalition uniform strategies |
| url | https://eprints.nottingham.ac.uk/33113/ https://eprints.nottingham.ac.uk/33113/ |