J.S. Mill's inductive methods in artificial intelligence systems. Part II

摘要

In the second part of this article we define the relationship of derivability of hypotheses from fact bases, which is used to detect different types of correctness of JSM reasonings. A correspondence is established between the total correctness of JSM reasonings and tolerance spaces. Inductive methods of residues and concomitant variations are formalized and the appropriate strategies of the JSM reasoning are defined. Using the rules of plausible inference for the method of concomitant variations operational definitions of dynamic patterns in fact bases. Features of the JSM method for the automatic generation of hypotheses in intelligent systems as a means of knowledge discovery are also discussed.