Non-Determinism and the Dynamics of Knowledge - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Non-Determinism and the Dynamics of Knowledge

Résumé

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.
Fichier principal
Vignette du fichier
grossi_19160.pdf (284.76 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03658082 , version 1 (03-05-2022)

Identifiants

  • HAL Id : hal-03658082 , version 1
  • OATAO : 19160

Citer

Davide Grossi, Andreas Herzig, Wiebe van Der Hoek, Christos Moyzes. Non-Determinism and the Dynamics of Knowledge. 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Aug 2017, Melbourne, Australia. pp.1053-1059. ⟨hal-03658082⟩
19 Consultations
11 Téléchargements

Partager

Gmail Facebook X LinkedIn More