Skip to main content

Research Repository

Advanced Search

Verifying existence of resource-bounded coalition uniform strategies

Alechina, Natasha; Dastani, Mehdi; Logan, Brian

Authors

Natasha Alechina nza@cs.nott.ac.uk

Mehdi Dastani

Brian Logan bsl@cs.nott.ac.uk



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 http://eprints.nottingham.ac.uk/id/eprint/33113
Publisher URL http://www.ijcai.org/Proceedings/16/Papers/011.pdf
Related Public URLs http://www.ijcai.org
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf
Additional Information The proceedings are published by International Joint Conference on Artificial Intelligence ijcai.org

Files


paper2011 (002).pdf (288 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations