The inductive method of joint agreement-difference of J.S. Mill is defined as a means for cognitive JSM reasoning. Cognitive reasoning is understood as formalization of the procedures of interaction between knowledge discovery, prediction, and explanation. The procedural semantics for the JSM method of the automatic generation of hypotheses are also formulated.
Automatic Documentation and Mathematical Linguistics – Springer Journals
Published: May 27, 2010