Belief change in branching time: AGM-consistency and iterated revision (Q421352): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
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 | |||
Property / cites work | |||
Property / cites work: On the logic of theory change: Partial meet contraction and revision functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logics for epistemic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic interactive epistemology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Axiomatic characterization of the AGM theory of belief revision in a temporal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4599504 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rational choice and AGM belief revision / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3624012 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iterated revision and minimal change of conditional beliefs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the logic of iterated belief revision / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4845472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Belief revision: A critique / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4260403 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3107917 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Choice structures and preference relations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Epistemology Without Knowledge and Without Belief / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The modal logic of `all and only' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iterated belief revision, revised / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4028812 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic doxastic logic: why, how, and where to? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: All I know: A study in autoepistemic logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic belief revision operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A knowledge based semantics of messages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4225113 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coherence and conservatism in the dynamics of belief. I: Finding the right framework / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Belief Revision From the Point of View of Doxastic Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4946225 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iterated belief revision / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic logic for belief revision / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bridges between Dynamic Doxastic and Doxastic Temporal Logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Merging frameworks for interaction / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3509047 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Prolegomena to dynamic logic for belief revision / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamic epistemic logic / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:08, 5 July 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