Distance semantics for belief revision (Q2732280)

In the paper semantics and logical properties of theory revisions based on the notion of a distance between individual models are considered. For any sets \(U, X\), \(d:U\times U\mapsto X\) is a pseudo-distance on \(U\) if \(X\) is totally ordered by a relation \(<\). For any sets of formulas of the classical propositional language \(T, T'\) and a pseudo-distance \(d\) on the set of all models, the result of revision of \(T\) by \(T'\), relative to \(d\), is defined as the set of all formulas that are valid in the set of all models of \(T'\) that are \(d\)-closest to the set of all models of \(T\). It is proved that the usual AGM postulates adapted to the considered case hold for such distance-based revisions in the finite case. An infinite case is discussed as well.