On the Class of JSM Reasoning That Uses the Isomorphism of Inductive Inference Rules
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.
KeywordsJSM reasoning induction analogy abduction lattices R-correctness and isomorphism of inductive inference rules
Unable to display preview. Download preview PDF.
- 2.Finn, V.K., Distributive lattices of inductive JSM procedures, Autom. Doc. Math. Linguist., 2014, no. 11, pp. 1–30.Google Scholar
- 7.Finn, V.K. and Shesternikova, O.P., About a new version of the generalized JSM method of automated support of scientific research, Iskusstv. Intell. Prinyatie Reshenii, 2016, no. 1, pp. 57–63.Google Scholar
- 11.Avtomaticheskoe porozhdenie gipotez: Logicheskie i epistemologicheskie osnovaniya (Automatic Generation of Hypotheses: Logical and Epistemological Grounds), Anshakov, O.M, Ed., Moscow: Knizhnyi dom LIBROKOM, 2009.Google Scholar