Algorithmization of Procedures of the JSM Method for Automatic Hypothesis Generation

摘要

Different methods of JSM reasoning are considered: the simple agreement method, prohibition of (±) counterexamples, unique (+) cause, difference method, joint agreement and difference method, and method of residues. Formal descriptions of these methods and algorithmic interpretations are presented.