Carlos Areces and Ver'onica Becher. Iterable AGM functions. In H. Rott and M. Williams, editors, Frontiers of Belief Revision. Kluwer Applied Logic Series, 1999. Forthcoming. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Irrevocable Belief Revision and Epistemic Entrenchment - Fermé (Correct)
....the axiomatic, de ning V = f : K : K g. However, as John Cantwell points out, irrevocable belief revision possess historic memory, i.e. it does not satisfy: If K = H 1 ) n , then K = H 1 ) n ) For deep details of iterable functions see [1]. For example, suppose an agent that always prefers the newest beliefs rather than the oldest. Consequently, Cn( Cn(f: g) Cn( Cn(f ; g) but Cn( Cn( 6 idem footnote 4, 0 is de ned for (V ; K ) 7 This fact ....
Carlos Areces and Veronica Becher. Iterable AGM functions. In H.Rott and M-A Williams, editors, Frontiers in Belief Revision. Kluwer Academic Publisher, 1999. to appear.
Iterated Revision in the Spirit of Update: A Lazy Update - Areces, Becher (1999) Self-citation (Areces Becher) (Correct)
....K : A B) Therefore, K : A B) is inconsistent. By postulate (K 5) A B) is then inconsistent, contradicting the independence of A and B. qed It is important to notice that the AGM postulates for revision indicate nothing on the behavior of when applied to different theories K i 2 IK (see [2] for a discussion) Although revision is defined as a binary function taking two arguments, a theory K and a formula A, it should be better regarded as a family of unary functions: f K i : L IK : K i 2 IK and K satisfies K 1 K 8g. 3 The AGM postulates never refer to revision by different ....
....that trivially, it is possible in the AGM setting to deal with successive change if we possess beforehand one revision function for each possible theory. But, if there are no properties linking the revisions of the different theories the result obtained can be erratic, irrational. As reported in [2] the postulate (K 9) for example (first proposed by Rott in [9] accounts for an oversimplified way of linking the revisions of all different theories. It is clear that our lazy update function allows iteration due to the fact that the formal structure M = hW; di determines the distance from ....
Carlos Areces and Ver'onica Becher. Iterable AGM functions. In H. Rott and M. Williams, editors, Frontiers of Belief Revision. Kluwer Applied Logic Series, 1999. Forthcoming.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC