Non-Determinism and the Dynamics of Knowledge

Grossi, Davide, Herzig, Andreas, van der Hoek, Wiebe ORCID: 0000-0003-0721-0310 and Moyzes, Christos (2017) Non-Determinism and the Dynamics of Knowledge In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017-8-19 - 2017-8-26.

Text ijcai17v7.pdf - Author Accepted Manuscript Access to this file is embargoed until Unspecified. Download (338kB)

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.

Item Type:	Conference Item (Unspecified)
Uncontrolled Keywords:	5003 Philosophy, 46 Information and Computing Sciences, 4602 Artificial Intelligence, 50 Philosophy and Religious Studies
Depositing User:	Symplectic Admin
Date Deposited:	21 Jul 2017 07:51
Last Modified:	23 May 2026 01:01
DOI:	10.24963/ijcai.2017/146
Related Websites:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3008579
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.