Non-Determinism and the Dynamics of Knowledge
Authors: Davide Grossi, Andreas Herzig, Wiebe van der Hoek, Christos Moyzes
IJCAI 2017 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | 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. |
| Researcher Affiliation | Academia | Davide Grossi1, Andreas Herzig2, Wiebe van der Hoek1, Christos Moyzes1 1University of Liverpool, UK 2Universit e Paul Sabatier, IRIT, CNRS, France 1{dgrossi, wiebe, cmoyzes}@liverpool.ac.uk |
| Pseudocode | No | The paper presents logical definitions, theorems, and discussions, but does not include any pseudocode or clearly labeled algorithm blocks. |
| Open Source Code | No | The paper does not contain any statement about making its source code openly available, nor does it provide a link to a code repository. |
| Open Datasets | No | This paper focuses on theoretical contributions in logic and does not involve empirical experiments, datasets, or training processes. |
| Dataset Splits | No | This paper is theoretical and does not involve empirical experiments requiring validation datasets or splits. |
| Hardware Specification | No | This paper is purely theoretical, focusing on logical frameworks and their properties. It does not describe any computational experiments that would require specific hardware, and thus no hardware specifications are mentioned. |
| Software Dependencies | No | This paper is theoretical and focuses on logical frameworks. It does not describe any computational implementation or empirical experiments that would require listing software dependencies with version numbers. |
| Experiment Setup | No | This paper is theoretical, defining and analyzing logical systems. It does not involve empirical experiments with specific setup details, hyperparameters, or training configurations. |