LOGICAL CONSTRUCTION OF THE JSM METHOD FOR AUTOMATIC GENERATION OF HYPOTHESES