pith. sign in

arxiv: cs/0204032 · v1 · submitted 2002-04-14 · 💻 cs.AI

Belief Revision and Rational Inference

classification 💻 cs.AI
keywords revisionrevisionsbeliefcorrespondenceformulapostulatepostulatesproposed
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.