Observations on Darwiche and Pearl's Approach for Iterated Belief Revision
Authors: Theofanis Aravanis, Pavlos Peppas, Mary-Anne Williams
IJCAI 2019 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this work, we make further observations on the DP approach. In particular: ... The aforementioned incompatibility results imply significant corollaries for existing belief-change proposals. Parametrized Difference revision operators [Peppas and Williams, 2016; 2018], and their specialization Dalal's operator [Dalal, 1988], are incompatible with the DP approach. Moreover, the Independence postulate [Jin and Thielscher, 2007] (that remedies problems with the DP postulates) and the well-known Spohn's conditionalization [Spohn, 1988] (restricted to revision scenarios) are incompatible with axiom (P). We discuss the relation between belief states and total preorders over possible worlds, and prove that the one-to-one correspondence between them is not sufficient to cover all possible revision policies aligned with the DP postulates. This result implies that a preference ordering (over worlds) is an insufficient structure for representing a belief state. |
| Researcher Affiliation | Academia | Theofanis Aravanis1 , Pavlos Peppas1,2 and Mary-Anne Williams2 1University of Patras, Greece 2University of Technology Sydney, Australia {taravanis, pavlos}@upatras.gr, Mary-Anne.Williams@uts.edu.au |
| Pseudocode | No | The paper does not contain structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide concrete access to source code for the methodology described, as it focuses on theoretical analysis rather than software implementation. |
| Open Datasets | No | The paper is theoretical and does not use or reference any datasets for training. |
| Dataset Splits | No | The paper is theoretical and does not discuss dataset splits for validation or any empirical validation process. |
| Hardware Specification | No | The paper is theoretical and does not discuss specific hardware used for any experimental work. |
| Software Dependencies | No | The paper is theoretical and does not mention any specific software dependencies with version numbers. |
| Experiment Setup | No | The paper is theoretical and does not detail any experimental setup, hyperparameters, or training configurations. |