Infobase change: A first approximation

DOI10.1023/A:1008308620177MaRDI QIDQ1582326zbMATH OpenOpenAlexFDO

Authors Thomas Meyer, Willem Adrian Labuschagne, Johannes Heidema

Publication date 14 January 2001

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1008308620177

zbMATH Keywords

belief contractionbelief setinfobase changeiterated changerevisiontheory change

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Review text

An approach to infobase change is presented for which the associated theory change operations satisfy all the AGM postulates. These operations determine which wffs in the infobase should be retained after an infobase change. The wffs that cannot be retained are not simply discarded, but are weakened in an appropriate fashion. Infobase change is completely specified by an infobase and the corresponding induced faithful total preorder of the set of interpretations. An advantage of the fact that an infobase generates unique contraction and revision operations is that it allows for iterated infobase change. The paper is highly technical but all the presented examples are phrased only in a propositional language generated by at most three atoms. More sophisticated examples would be useful and more informal explications and motivations should be presented.

Recommendations

• Basic infobase change
• A consistency-based approach for belief change
• scientific article; zbMATH DE number 1500574
• scientific article; zbMATH DE number 938664
• scientific article; zbMATH DE number 1761411

Cited in

(9)

• Non-prioritized ranked belief change
• Partial meet pseudo-contractions
• scientific article; zbMATH DE number 1983086 (Why is no real title available?)
• On the semantics of combination operations
• scientific article; zbMATH DE number 1500574 (Why is no real title available?)
• scientific article; zbMATH DE number 1785000 (Why is no real title available?)
• scientific article; zbMATH DE number 938664 (Why is no real title available?)
• Basic infobase change
• AGM belief revision, semantically

This page was built for publication: Infobase change: A first approximation

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