J.S. Mill’s inductive methods in artificial intelligence systems. Part I

The principles of J.S. Mill’s induction are formulated. These principles are developed and formalized for the five J.S. Mill’s inductive methods (the method of agreement, the method of difference, the joint method of agreement and difference, the method of residues, and the method of concomitant variations). The method of agreement, the method of difference, and the joint method of agreement and difference are considered in the Part I. The possible strategies of plausible reasoning realizing interaction of Mill’s induction, analogy and abduction are formulated. These strategies are considered to be cognitive reasoning (the justification is provided).