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 Part I. The possible strategies of plausible reasoning that realize the interaction of Mill's induction, analogy, and abduction are formulated. These strategies are considered to be cognitive reasoning (justification is provided).