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

Article
  • 5 Downloads

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.MATHGoogle Scholar
  5. 5.
    Smullyan, R.M., First-Order Logic, New York: Springer-Verlag, 1968.CrossRefMATHGoogle Scholar
  6. 6.
    Grätzer, G., General Lattice Theory, Berlin: Akademie–Verlag, 1978.CrossRefMATHGoogle 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.MathSciNetCrossRefMATHGoogle 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.CrossRefMATHGoogle 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