The semantics of rational contractions
The Logic of Theory Change developed by Alchourrón, Gärdenfors and Makinson is concerned with the revision of beliefs in the face of new and possibly contradicting information. This nonmonotonic process consists of a contraction and an expansion transforming one belief into another. Beliefs are represented by consistent deductively closed sets of formulas. To achieve minimal change Alchourrón, Gärdenfors and Makinson suggested widely accepted postulates that rational contractions have to fulfill.
In practical applications, e.g. knowledge representation, deductively closed sets of formulas have to be representable in a finite way. Therefore our main interest is in rational finite contractions, i.e. rational contractions that transform sets of formulas possessing a finite base into finitely representable sets again.
We have formulated a semantical characterization of rational finite contractions which provides an insight into the true nature of these operations and shows all possibilities to define concrete functions of this kind.
This strategy results in maintaining those formulas of Φ which belong to the subsignature not affected by the change of M. But as the number of “important” formulas in Φ is not equal for different subsignatures of the same size we argue that this strategy leads to a contraintuitive behaviour3.