A Formal Model through Homogeneity Theory of Adaptive Reasoning

Abstract

We address the problem of bow to deal with inaccurate. incomplete and changing information. We proceed by formally comparing existing reasoning systems in order to precisely define which features are needed and which should be avoided. In order to do so, we construct a formal theory, which we call homogeneity theory. The equivalence of the transformation rule of identity, for each reasoning system, to some expressions of homogeneity theory is proved. An order is then induced among the systems analysed using the expressions of homogeneity theory.