Non-determinism and the dynamics of knowledge
| Autor: | Christos Moyzes, Wiebe van der Hoek, Davide Grossi, Andreas Herzig |
|---|---|
| Přispěvatelé: | Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - INPT (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), University of Liverpool (UNITED KINGDOM), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE) |
| Předmět: |
060201 languages & linguistics
Logique en informatique Theoretical computer science Computer science Logic Informatique et langage 06 humanities and the arts 02 engineering and technology Reasoning Intelligence artificielle Belief change Determinism Apprentissage TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES 0602 languages and literature 0202 electrical engineering electronic engineering information engineering Dynamic logic (modal logic) Dynamic epistemic logic Ontic 020201 artificial intelligence & image processing |
| Zdroj: | University of Groningen IJCAI |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|