Non-Determinism and the Dynamics of Knowledge
Abstract
In this paper we attempt to shed light on the concept of an agent’s knowledge after a non-deterministic action is executed. We start by making a comparison between notions of non-deterministic choice, and between notions of sequential composition, of settings with dynamic and/or epistemic character; namely Propositional Dynamic Logic (PDL), Dynamic Epistemic Logic (DEL), and the more recent logic of Semi-Public Environments (SPE). These logics represent two different approaches for defining the aforementioned actions, and in order to provide unified frameworks that encompass both, we define the logics DELVO (DEL+Vision+Ontic change) and PDLVE (PDL+Vision+Epistemic operators). DELVO is given a sound and complete axiomatisation.
Cite
Text
Grossi et al. "Non-Determinism and the Dynamics of Knowledge." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/146Markdown
[Grossi et al. "Non-Determinism and the Dynamics of Knowledge." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/grossi2017ijcai-non/) doi:10.24963/IJCAI.2017/146BibTeX
@inproceedings{grossi2017ijcai-non,
title = {{Non-Determinism and the Dynamics of Knowledge}},
author = {Grossi, Davide and Herzig, Andreas and van der Hoek, Wiebe and Moyzes, Christos},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {1053-1059},
doi = {10.24963/IJCAI.2017/146},
url = {https://mlanthology.org/ijcai/2017/grossi2017ijcai-non/}
}