Inductive method of joint agreement-difference: Procedural semantics of the JSM method
В. К. Финн · Automatic Documentation and Mathematical Linguistics · 2010
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.