The synthesis of cognitive procedures and the problem of induction
В. К. Финн · Automatic Documentation and Mathematical Linguistics · 2009
The JSM-method of automated hypotheses generation realizing the automated plausible reasoning in Intelligent Systems is described. It is shown that the method represents specially organized interaction of induction, analogy and abduction. The foundations of exact epistemology for JSM- Intelligent Systems are formulated.