Towards Symbolic and Succinct Perspective Shifts

Recent work on Epistemic Planning uses Dynamic Epistemic Logic (DEL) to formalise and solve multi-agent planning problems. DEL allows agents to take into account knowledge of others by computing perspective shifts. So far, perspective shifts are usually defined on explicit Kripke models for S5.

Here we first generalise perspective shifts from S5 to K. We then show how perspective shifts can be computed without explicit Kripke models. Concretely, we define perspective shifting on symbolic structures and succinct models. Both are compact representations proposed in the literature to speed up model checking DEL. Our definitions can help to implement multi-agent epistemic planning more efficiently in the future.