Paper Info
Title
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.
Year
DOI
Venue
2017
10.24963/ijcai.2017/146
IJCAI
Field
DocType
Citations 
Belief change,Determinism,Cognitive science,Computer science,Dynamic epistemic logic,Operator (computer programming),Artificial intelligence,Dynamic logic (digital electronics),Ontic,Machine learning
Conference
0
PageRank 
References 
Authors
0.34
6
4
Name
Order
Citations
PageRank
Davide Grossi142341.79
Andreas Herzig265548.55
Wiebe Van Der Hoek32566195.77
Christos Moyzes432.45