Morphologic for knowledge dynamics: revision, fusion, abduction

An explanatory relation is a binary relation where the intended meaning of α γ is "γ is a preferred explanation of α". In [37], a set of postulates that should be satisfied by preferred explanatory relations was proposed and discussed. The aim of this section is threefold: first, to propose very natural explanatory relations using morphologic that in some cases are computationally tractable; secondly, to examine the adequacy of logical postulates proposed in [37], and thirdly, the discovery of new logical properties for explanatory reasoning. Morphologic allows us to define the most central part of a formula, according to the fundamental principles of this theory (see e.g.