Advertisement

Scientific and Technical Information Processing

, Volume 44, Issue 6, pp 387–396 | Cite as

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

  • V. K. Finn
Article

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.

Keywords

JSM reasoning induction analogy abduction lattices R-correctness and isomorphism of inductive inference rules 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Finn, V.K., Epistemological foundation of the JSM method for automatic hypothesis generation, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 2, pp. 96–148.CrossRefGoogle Scholar
  2. 2.
    Finn, V.K., Distributive lattices of inductive JSM procedures, Autom. Doc. Math. Linguist., 2014, no. 11, pp. 1–30.Google Scholar
  3. 3.
    Mill, J.S., A System of Logic Ratiocinative and Inductive Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation, London: Parker, Son and Bowin, 1843.CrossRefGoogle Scholar
  4. 4.
    Rosser, J.B. and Turquette, A.R., Many-Valued Logics, Amsterdam: North-Holland Publishing Company, 1958.zbMATHGoogle Scholar
  5. 5.
    Smullyan, R.M., First-Order Logic, New York: Springer-Verlag, 1968.CrossRefzbMATHGoogle Scholar
  6. 6.
    Grätzer, G., General Lattice Theory, Berlin: Akademie–Verlag, 1978.CrossRefzbMATHGoogle Scholar
  7. 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
  8. 8.
    Arieli, O. and Avron, A., Reasoning with logical bilattices, J. Logic Lang. Inf., 1996, vol. 5, pp. 25–63.MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Finn, V.K., Detecting empirical regularities in bases of facts using JSM reasoning, Autom. Doc. Math. Linguist., 2015, vol. 49, no. 4, pp. 122–151.CrossRefGoogle Scholar
  10. 10.
    Shesternikova, O.P., Agafonov, M.A., Vinokurova, L.V., Pankratova, E.S., and Finn, V.K., Intelligent system for diabetes prediction in patients with chronic pancreatitis, Sci. Tech. Inf. Process., 2016, vol. 43, nos. 5–6, pp. 315–345.CrossRefGoogle Scholar
  11. 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
  12. 12.
    Pfanzagl, J., Theory of Measurement, Würzburg–Wien: Physica–Verlag, 1971.CrossRefzbMATHGoogle Scholar

Copyright information

© Allerton Press, Inc. 2017

Authors and Affiliations

  1. 1.Institute for Systems Analysis, Computer Science and Control Federal Research CenterRussian Academy of SciencesMoscowRussia

Personalised recommendations