A Logic for Multi-Agent Conformant Planning Over Transition Systems

Reasoning about actions and information is one of the most active areas of research in artificial intelligence. In this article, we study the reasoning about actions and information in multi-agent conformant planning, which is an essential branch of artificial intelligence. We introduce a semantic-driven formalism to capture the information change during the execution of actions. We then propose a dynamic epistemic logic for multi-agent conformant planning. Moreover, we give an alternative Kripke semantics and provide a complete axiomatization.