Natasha Alechina
Verifying existence of resource-bounded coalition uniform strategies
Alechina, Natasha; Dastani, Mehdi; Logan, Brian
Authors
Mehdi Dastani
Brian Logan
Abstract
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.
Citation
Alechina, N., Dastani, M., & Logan, B. (2016). Verifying existence of resource-bounded coalition uniform strategies.
Conference Name | 25th International Joint Conference on Artificial Intelligence |
---|---|
Start Date | Jul 9, 2016 |
End Date | Jul 15, 2016 |
Acceptance Date | Apr 5, 2016 |
Publication Date | 2016-07 |
Deposit Date | May 4, 2016 |
Publicly Available Date | Nov 30, 2016 |
Publisher | Association for the Advancement of Artificial Intelligence |
Peer Reviewed | Peer Reviewed |
Public URL | https://nottingham-repository.worktribe.com/output/975816 |
Publisher URL | http://www.ijcai.org/Proceedings/16/Papers/011.pdf |
Related Public URLs | http://www.ijcai.org |
Additional Information | The proceedings are published by International Joint Conference on Artificial Intelligence ijcai.org |
Files
paper2011 (002).pdf
(288 Kb)
PDF
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: discovery-access-systems@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search