On the Class of JSM Reasoning That Uses the Isomorphism of Inductive Inference Rules

Abstract

This paper defines a special class of JSM reasoning whose strategies use the isomorphism of direct products of lattices that represent inductive inference rules. It is shown that the JSM reasoning formed by inductive inferences rules, analogical inference rules, and procedures for abductive acceptance of hypotheses is relationally correct.