Epistemic Logic for the Multi-Agent Knowledge-Based Subset Construction

Sammanfattning: We study multi-agent games on graphs, in relation to the multi-agent knowledgebased subset construction (MKBSC) – a mathematical tool for knowledgebased strategy synthesis. We consider the problem of applying a formal logic related to agent knowledge in this context. We consider the knowledge structures produced by the MKBSC and use them as the basis for a definition of satisfaction for a fragment of epistemic logic. We define an epistemic formula characterising such individual knowledge structures and use this formula to create a knowledge-based program to provide a general representation of strategies in games. Finally, we define a semantics for the full epistemic logic over a multiplayer game and state a result connecting these two different semantics.