Multi-Agent Only Knowing on Planet Kripke
Authors: Guillaume Aucher, Vaishak Belle
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We propose a new account based on Moss characteristic formulas, formulated for the usual Kripke semantics. This is shown to come with other benefits: the logic admits a group version of only knowing, and an operator for assessing the epistemic entrenchment of what an agent or a group only knows is deļ¬nable. Finally, the multi-agent only knowing operator is shown to be expressible with the cover modality of classical modal logic, which then allows us to obtain a completeness result for a fragment of the logic. |
| Researcher Affiliation | Academia | Guillaume Aucher University of Rennes 1 INRIA Rennes, France guillaume.aucher@irisa.fr Vaishak Belle Dept. of Computer Science KU Leuven Leuven, Belgium vaishak@cs.kuleuven.be |
| Pseudocode | No | The paper does not contain any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any concrete access to source code for the described methodology. |
| Open Datasets | No | The paper does not describe any experiments involving datasets, public or otherwise. |
| Dataset Splits | No | The paper does not describe any dataset splits for training, validation, or testing. |
| Hardware Specification | No | The paper does not provide any specific hardware details used for running experiments. |
| Software Dependencies | No | The paper does not list any specific software dependencies with version numbers. |
| Experiment Setup | No | The paper does not describe any experimental setup details such as hyperparameters or training configurations, as it is a theoretical work. |