Abstract:
The deductibility of hypotheses from Facts Bases using for discovery of different kinds of JSM-reasoning correctness is defined in the paper. The correspondence between JSM-reasoning total correctness and the tolerance spaces is established. The inductive method of residues and inductive method of concomitant variations are formalized and corresponding JSM-method strategies are defined in the paper. Dynamic regularities in Facts Bases are operationally defined by plausible inference rules for the method of concomitant variations. The features of JSM-method of automatic hypotheses generation in Intelligent Systems considered as the tool of knowledge discovery are discussed also.
Keywords:JSM-method, inductive method of residues, inductive method of concomitant variations, tolerance spaces, abductive convergence, static and dynamic regularities in Facts Bases.