Belief change in branching time: AGM-consistency and iterated revision (Q421352): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
The author continues his study of belief change in the context of branching-time models, begun in the paper [``Axiomatic characterization of the AGM theory of belief revision in a temporal logic'', Artif. Intell. 171, No. 2--3, 144--160 (2007; Zbl 1168.03317)]. There, the AGM postulates for belief revision were represented in a language containing three modal operators: a belief operator, one representing the exact amount of information available to an agent and, crucially, a `next-time' operator in branching time. The language thus differs from those of the dynamic doxastic logics that have also been used to represent belief change in a modal setting. The paper under review studies the conditions under which a partial belief revision function induced by a state-time pair in a frame may be extended to a belief revision function defined over the entire frame and satisfying the AGM postulates. Final sections also explore the formulation of well-known principles of iterated belief change using the temporally modalized language. | |||
Property / review text: The author continues his study of belief change in the context of branching-time models, begun in the paper [``Axiomatic characterization of the AGM theory of belief revision in a temporal logic'', Artif. Intell. 171, No. 2--3, 144--160 (2007; Zbl 1168.03317)]. There, the AGM postulates for belief revision were represented in a language containing three modal operators: a belief operator, one representing the exact amount of information available to an agent and, crucially, a `next-time' operator in branching time. The language thus differs from those of the dynamic doxastic logics that have also been used to represent belief change in a modal setting. The paper under review studies the conditions under which a partial belief revision function induced by a state-time pair in a frame may be extended to a belief revision function defined over the entire frame and satisfying the AGM postulates. Final sections also explore the formulation of well-known principles of iterated belief change using the temporally modalized language. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: David Makinson / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B42 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B44 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6038149 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
belief revision | |||
Property / zbMATH Keywords: belief revision / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
temporal logic | |||
Property / zbMATH Keywords: temporal logic / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
branching time | |||
Property / zbMATH Keywords: branching time / rank | |||
Normal rank |
Revision as of 21:45, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Belief change in branching time: AGM-consistency and iterated revision |
scientific article |
Statements
Belief change in branching time: AGM-consistency and iterated revision (English)
0 references
23 May 2012
0 references
The author continues his study of belief change in the context of branching-time models, begun in the paper [``Axiomatic characterization of the AGM theory of belief revision in a temporal logic'', Artif. Intell. 171, No. 2--3, 144--160 (2007; Zbl 1168.03317)]. There, the AGM postulates for belief revision were represented in a language containing three modal operators: a belief operator, one representing the exact amount of information available to an agent and, crucially, a `next-time' operator in branching time. The language thus differs from those of the dynamic doxastic logics that have also been used to represent belief change in a modal setting. The paper under review studies the conditions under which a partial belief revision function induced by a state-time pair in a frame may be extended to a belief revision function defined over the entire frame and satisfying the AGM postulates. Final sections also explore the formulation of well-known principles of iterated belief change using the temporally modalized language.
0 references
belief revision
0 references
temporal logic
0 references
branching time
0 references