Belief change in branching time: AGM-consistency and iterated revision (Q421352): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s10992-011-9202-6 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985145031 / rank | |||
Normal rank |
Revision as of 02:15, 20 March 2024
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