Details

Autor(en) / Beteiligte

• Bonanno, Giacomo

Titel

Axiomatic characterization of the AGM theory of belief revision in a temporal logic

Ist Teil von

• Artificial intelligence, 2007-02, Vol.171 (2), p.144-160

Ort / Verlag

Amsterdam: Elsevier B.V

Erscheinungsjahr

2007

Link zum Volltext

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propose two extensions of a modal logic that, besides the next-time temporal operator, contains a belief operator and an information operator. The first logic is shown to provide an axiomatic characterization of the first six postulates of the AGM theory of belief revision, while the second, stronger, logic provides an axiomatic characterization of the full set of AGM postulates.