Belief Update within Propositional Fragments
Authors: Nadia Creignou, Raïda Ktari, Odile Papini
JAIR 2018 | Venue PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We investigate the behavior of the refined update operators with respect to satisfaction of the KM postulates and highlight differences between revision and update in this context. In this section we investigate how our refined update operators behave with respect to satisfaction of the KM postulates. We first show that our update refinements preserve the first four KM postulates. ... The proof is in the appendix. |
| Researcher Affiliation | Academia | Nadia Creignou EMAIL Aix Marseille Univ, Universit e de Toulon, CNRS, LIS, Marseille, France; Ra ıda Ktari EMAIL Institut Sup erieur d Informatique et de Multim edia de Sfax, Universit e de Sfax, pôle technologique de Sfax, Sakiet Ezzit 3021, Tunisie; Odile Papini EMAIL Aix Marseille Univ, Universit e de Toulon, CNRS, LIS, Marseille, France |
| Pseudocode | No | The paper focuses on theoretical aspects, defining logical frameworks, propositions, and proofs. It does not include any structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not contain any statement about releasing source code, nor does it provide links to repositories or mention code in supplementary materials. |
| Open Datasets | No | The paper focuses on theoretical aspects of belief update within propositional fragments, using abstract logical examples (e.g., "Example 5. We come back to the example given in the introduction where the beliefs describe two objects A and B inside a room. The agent s beliefs are represented by the formula ψ a..."). It does not conduct experiments on specific datasets. |
| Dataset Splits | No | The paper does not use any empirical datasets for experiments, therefore, no dataset splits are mentioned. |
| Hardware Specification | No | The paper is theoretical and does not describe any experimental setup or hardware used. |
| Software Dependencies | No | The paper focuses on theoretical concepts and does not mention any specific software dependencies or versions used for experiments. |
| Experiment Setup | No | The paper presents theoretical work on belief update operators and does not describe any experimental setup or specific configurations. |