Belief Revision and Rational Inference
Abstract
The (extended) AGM postulates for belief revision seem to deal with the revision of a given theory K by an arbitrary formula, but not to constrain the revisions of two different theories by the same formula. A new postulate is proposed and compared with other similar postulates that have been proposed in the literature. The AGM revisions that satisfy this new postulate stand in one-to-one correspondence with the rational, consistency-preserving relations. This correspondence is described explicitly. Two viewpoints on iterative revisions are distinguished and discussed.
- Publication:
-
arXiv e-prints
- Pub Date:
- April 2002
- DOI:
- 10.48550/arXiv.cs/0204032
- arXiv:
- arXiv:cs/0204032
- Bibcode:
- 2002cs........4032F
- Keywords:
-
- Computer Science - Artificial Intelligence;
- I.2.3
- E-Print:
- 25 pages