AAAI Publications, Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Font Size: 
Strategic Coalitions in Systems with Catastrophic Failures
Pavel Naumov, Kevin Ros

Last modified: 2018-09-24


The paper introduces a notion of a transition system with catastrophic failures where in each state and under each action profile of the agents the system might either transition to a next state or fail with a given probability. The main technical result is a sound and complete axiomatization of modality "coalition has a strategy to survive with a given probability while achieving a given goal." The proposed logical system generalizes Marc Pauly's logic of coalition power.


strategy; failure; uncertainty; axiomatization; completeness

Full Text: PDF