Skip to main content
SpringerLink
Log in

The Heuristics of Detection of Empirical Regularities by JSM Reasoning

  • Intelligent Systems
  • Published:
Automatic Documentation and Mathematical Linguistics Aims and scope

Abstract

The heuristics of the detection of empirical regularities by the JSM method of automated support of scientific research is considered. This heuristic consists of applying the JSM reasoning for JSM research, which consist of recognizing the preservation of hypotheses about the causes and hypotheses about predictions that form empirical dependencies for embedded database sequences. Mechanisms for detecting empirical regularities are causal forcing (CF), through which the necessity modalities (for empirical laws), the possibility modality (for empirical tendencies) and the modality of weak possibilities (for suspicious tendencies) are determined. The means of approximate detection of empirical regularities are determined and the results of their application for detecting the possibility of diabetes mellitus in patients with chronic pancreatitis are presented.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Finn, V.K., Epistemic foundations of the JSM method for automatic hypothesis generation, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 2, pp. 96–148.

    Article  Google Scholar 

  2. Fann, K.T., Peirce’s Theory of Abduction, The Hague: Martinus Nijhoff, 1970.

    Book  Google Scholar 

  3. Polya, G., Mathematics and Plausible Reasoning, Princeton, New Jersey: Princeton University Press, 1954.

    MATH  Google Scholar 

  4. 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.

    Google Scholar 

  5. Agafonov, M.A., Shesternikova, O.P., Vinokurova, L.V., Pankratova, E.S., and Finn, V.K., About the principles and logical means implemented in the intelligent system for gastroenterology, Nauchno-Tekh. Inf., Ser. 2, 2017, no. 3, pp. 16–39.

    Google Scholar 

  6. Finn, V.K., J.S. Mill’s inductive methods in artificial intelligence systems. Part I, Sci. Tech. Inf. Process., 2011, vol. 38, no. 6, pp. 385–402

    Article  Google Scholar 

  7. Finn, V.K., Mill’s, J.S. inductive methods in artificial intelligence systems. Part II, Sci. Tech. Inf. Process., 2011, vol. 39, no. 5, pp. 241–260.

    Article  Google Scholar 

  8. Rosser, J.B. and Turquette, A.R., Many-Valued Logics, Amsterdam: North-Holland Publishing Company, 1958.

    MATH  Google Scholar 

  9. Finn, V.K., Iskusstvennyi intellekt (Artificial Intelligence), ch. 3: Standartnye i nestandartnye logiki argumentatsii (Standard and Non-Standard Reasoning Logics), Moscow: KRASAND, 2011, pp. 312–338.

    Google Scholar 

  10. 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.

    Article  Google Scholar 

  11. Finn, V.K., On the class of JSM reasoning that uses the isomorphism of inductive inference rules, Sci. Tech. Inf. Process., 2017, vol. 44, no. 6, pp. 387–396.

    Article  Google Scholar 

  12. Finn, V.K., Distributive lattices of inductive JSM procedures, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 6, pp. 265–295.

    Article  Google Scholar 

  13. Grätzer, G., General Lattice Theory, Berlin: Academic—Verlag, 1978.

    Book  MATH  Google Scholar 

  14. Finn, V.K. and Shesternikova, O.P., On JSM reasoning applicable to unions of factbase subsets: Part 1, Autom. Doc. Math. Linguist., 2017, vol. 51, no. 5, pp. 220–234.

    Article  Google Scholar 

  15. Arieli, O. and Avron, A., Reasoning with logical bilattices, J. Logic Lang. Inf., 1996, no. 5, pp. 25–63.

    Article  MathSciNet  MATH  Google Scholar 

  16. Popper, K.R., Objective Knowledge: An Evolutionary Approach, Oxford: At The Clarendon Press, 1979.

    Google Scholar 

  17. Finn, V.K. and Shesternikova, O.P., On JSM reasoning applicable to unions of factbase subsets: Part 2, Autom. Doc. Math. Linguist., 2017, vol. 51, no. 6, pp. 266–288.

    Article  Google Scholar 

  18. Handbook of Mathematical Logic, Barwise, J., Ed., Amsterdam, New York, Oxford: North Holland Publishing Company, 1977.

  19. Skvortsov, D.P., On some ways of constructing logical languages with quantifiers in tuples, Semiotika Inf., 1983, vol. 20, pp. 102–126.

    MATH  Google Scholar 

  20. Anshakov, O.M., Skvortsov, D.P., and Finn, V.K., On the logical construction of the JSM-method for automatic hypothesis generation, Dokl. Akad. Nauk SSSR, 1991, vol. 320, no. 6, pp. 1331–1336.

    MATH  Google Scholar 

  21. Anshakov, O.M., Finn, V.K., and Skvortsov, D.P., On axiomatization of many-valued logics associated with formalization of plausible reasoning, Stud. Logica, 1989, vol. 48, no. 4, pp. 423–447.

    Article  MathSciNet  MATH  Google Scholar 

  22. 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.

    Article  Google Scholar 

  23. Smullyan, R.M., First-Order Logic, New York: Springer-Verlag, 1968.

    Book  MATH  Google Scholar 

  24. Polya, G., How to Solve It, Princeton University Press, 1945.

    MATH  Google Scholar 

  25. Bernays, P., Concerning rationality, in The Philosophy of Karl Popper, Schilpp, P.A., Ed., La Salle, IL: Open Count Publishing Co., 1974, pp. 597–605.

    Google Scholar 

  26. Kripke, S.A., Semantical analysis of modal logic. I. Normal modal propositional calculi, Math. Logic Q., 1963, vol. 9, nos. 5–6, pp. 67–96.

    Article  MathSciNet  MATH  Google Scholar 

  27. Chellas, B.F., Modal Logic, Cambridge: University Press, 1980.

    Book  MATH  Google Scholar 

  28. Finn, V.K., On the definition of empirical regularities by the JSM method for the automatic generation of hypotheses, Sci. Tech. Inf. Process., 2012, no. 5, pp. 261–267.

    Article  Google Scholar 

  29. Reichenbach, H., Nomological Statements and Admissible Operations, Amsterdam: North Holland Publishing Company, 1954.

    MATH  Google Scholar 

  30. Feys, R., Modal Logics, E. Nauwelaerts, 1965.

    MATH  Google Scholar 

  31. Pfanzagl, J., Theory of Measurement, Wurzburg–Wien: Physica-Verlag, 1971.

    Book  MATH  Google Scholar 

  32. Rescher, N., The Coherence Theory of Truth, Oxford: At The Clarendon Press, 1973.

    Google Scholar 

  33. Peirce, C.S., Collected Papers of Charles Sanders Pierce, Cambridge–Harvard: University Press, 1934, vol. 5, p.189.

    Google Scholar 

  34. Aliseda, A., Abductive reasoning, Synth. Libr., 2006, vol.330.

  35. Abductive Inference: Computation, Philosophy, Technology, Josephson, J.R. and Josephson, S.G., Eds., Cambridge: University Press, 1994.

Download references

Author information

Authors and Affiliations

  1. Federal Research Center Computer Science and Control, Russian Academy of Sciences, Moscow, 119333, Russia

    V. K. Finn & O. P. Shesternikova

Authors
  1. V. K. Finn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. O. P. Shesternikova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. K. Finn.

Additional information

Original Russian Text © V.K. Finn, O.P. Shesternikova, 2018, published in Nauchno-Tekhnicheskaya Informatsiya, Seriya 2: Informatsionnye Protsessy i Sistemy, 2018, No. 9, pp. 7–42.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Finn, V.K., Shesternikova, O.P. The Heuristics of Detection of Empirical Regularities by JSM Reasoning. Autom. Doc. Math. Linguist. 52, 215–247 (2018). https://doi.org/10.3103/S0005105518050023

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0005105518050023

Keywords

Search

Navigation