A selection-based formal description of an environment
Ivan Kramosil · Czech digital mathematics library · 1976
Formal Description of an Environment IVAN KRAMOSIL Some former results ([3]) show that a non-restricted joining of a new formula with the formal representation of the environment is not justifiable because of a danger of inconsistency.In this paper a criterion is proposed which measures the quality of a formal representation of the environment.This criterion combines the properties of several more special criteria and its value can be statistically estimated on the basis of a random sample.A decision procedure is proposed which joins a new formula with the formal representation of the environment only in case when, with at least some probability given a priori, the enriching does not make the quality of the formal representation worse.