Non-Determinism and the Dynamics of Knowledge

Grossi, Davide ORCID: 0000-0002-9709-030X, Herzig, Andreas, van der Hoek, Wiebe and Moyzes, Christos (2017) Non-Determinism and the Dynamics of Knowledge. In: 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

<jats:p>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.</jats:p>

Item Type:	Conference or Workshop Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	21 Jul 2017 07:51
Last Modified:	19 Jan 2023 06:58
DOI:	10.24963/ijcai.2017/146
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3008579