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.
- 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)
