scientific article; zbMATH DE number 1785002

MaRDI QIDQ4546708zbMATH OpenFDO

Authors Michael Freund

Publication date 22 July 2003

zbMATH Keywords

AGM axiomsAGM revisionbelief basebelief revisioncategorical matching

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Review text

It is shown that it is possible to construct a base revision operation that satisfies the categorical matching principle and whose closure yields an AGM revision. This operation cannot be performed on arbitrary bases without loss of the rationality postulate \(K*8\), and it is only defined on stratified bases. For the entire collection see [Zbl 0982.00012].

Recommendations

• scientific article; zbMATH DE number 761250
• Reversing the Levi identity
• Semi-revision
• New foundations for a relational theory of theory-revision
• Reinforcement Belief Revision

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4546708)