Belief Revision with General Epistemic States
Authors: Hua Meng, Hui Kou, Sanjiang Li
AAAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we first provide an axiomatic characterisation for epistemic states by using nine rules about beliefs and conditional beliefs, and then argue that the last two rules are too strong and should be eliminated for characterising the belief state of an agent. We call a structure which satisfies the first seven rules a general epistemic state (GEP). To provide a semantical characterisation of GEPs, we introduce a mathematical structure called belief algebra, which is in essence a certain binary relation defined on the power set of worlds. We then establish a 1-1 correspondence between GEPs and belief algebras, and show that total preorders on worlds are special cases of belief algebras. Furthermore, using the notion of belief algebras, we extend the classical iterated belief revision rules of Darwiche and Pearl to our setting of general epistemic states. |
| Researcher Affiliation | Academia | Hua Meng School of Mathematics Southwest Jiaotong University Meng Hua@home.swjtu.edu.cn; Hui Kou School of Mathematics Sichuan University Kou Hui@scu.edu.cn; Sanjiang Li QCIS, Faculty of Engineering and IT University of Technology Sydney Sanjiang.Li@uts.edu.au |
| Pseudocode | No | The paper is theoretical and focuses on axiomatic and semantic characterizations, theorems, and proofs. It does not include any pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not contain any statements about releasing source code or provide links to a code repository for the methodology described. |
| Open Datasets | No | This is a theoretical paper focused on formal characterizations and proofs; it does not involve the use of datasets for training or evaluation. |
| Dataset Splits | No | This is a theoretical paper and does not involve empirical validation with dataset splits. |
| Hardware Specification | No | This is a theoretical paper and does not describe any experimental setup that would require hardware specifications. |
| Software Dependencies | No | This is a theoretical paper and does not describe any experimental setup that would require specific software dependencies with version numbers. |
| Experiment Setup | No | This is a theoretical paper and does not describe any empirical experimental setup details or hyperparameters. |