Shhh! The Logic of Clandestine Operations

Shhh! The Logic of Clandestine Operations

Pavel Naumov, Oliver Orejola

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
Main Track. Pages 3304-3311. https://doi.org/10.24963/ijcai.2023/368

An operation is called covert if it conceals the identity of the actor; it is called clandestine if the very fact that the operation is conducted is concealed. The paper proposes a formal semantics of clandestine operations and introduces a sound and complete logical system that describes the interplay between the distributed knowledge modality and a modality capturing coalition power to conduct clandestine operations.
Keywords:
Knowledge Representation and Reasoning: KRR: Reasoning about knowledge and belief
Knowledge Representation and Reasoning: KRR: Reasoning about actions