zbMATH — the first resource for mathematics

A framework for iterated belief revision using possibilistic counterparts to Jeffrey’s rule. (English) Zbl 1205.68391
Summary: Intelligent agents require methods to revise their epistemic state as they acquire new information. Jeffrey’s rule, which extends conditioning to probabilistic inputs, is appropriate for revising probabilistic epistemic states when new information comes in the form of a partition of events with new probabilities and has priority over prior beliefs. This paper analyses the expressive power of two possibilistic counterparts to Jeffrey’s rule for modeling belief revision in intelligent agents. We show that this rule can be used to recover several existing approaches proposed in knowledge base revision, such as adjustment, natural belief revision, drastic belief revision, and the revision of an epistemic state by another epistemic state. In addition, we also show that some recent forms of revision, called improvement operators, can also be recovered in our framework.

68T27 Logic in artificial intelligence
68T37 Reasoning under uncertainty in the context of artificial intelligence
Full Text: DOI