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.
| Name | Size | |
|---|---|---|
|
EpiP-perspective-shifts.pdf
md5:bfbea842078e4f336a11b20c19df2a90 |
285.7 kB | Download |
| All versions | This version | |
|---|---|---|
| Views | 70 | 70 |
| Downloads | 57 | 57 |
| Data volume | 16.3 MB | 16.3 MB |
| Unique views | 64 | 64 |
| Unique downloads | 56 | 56 |
- Publication date:
- October 8, 2020
- DOI:
-
- Meeting:
- Epistemic Planning workshop at ICAPS 2020 (EpiP), Nancy, 23 October 2020
- Communities:
- License (for files):
- Creative Commons Attribution 4.0 International