Conference paper Open Access

Towards Symbolic and Succinct Perspective Shifts

Gattinger, Malvin

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.

Files (285.7 kB)
Name Size
285.7 kB Download
All versions This version
Views 7070
Downloads 5757
Data volume 16.3 MB16.3 MB
Unique views 6464
Unique downloads 5656


Cite as