Abstract:
Special JSM Reasoning class is defined in the paper. The strategies of reasoning from this class use the isomorphism of direct products of lattices representing inductive inference rules. It is shown that JSM reasoning, which is formed by inductive inferences rules, rules for inference by analogy and procedures for abductive acceptance of hypotheses, are relationally correct.