Infobase change: A first approximation (Q1582326)

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.