Skip to main content
SpringerLink
Log in

Distributive lattices of inductive JSM procedures

  • Published:
Automatic Documentation and Mathematical Linguistics Aims and scope

Abstract

In this article we consider the set of M-predicates used for the formalization of J.S. Mill’s inductive methods of agreement, of difference, of agreement and difference, of residue, of concomitant variations, and of their strengthenings by the ban on counterexamples. Two partial orders on this set are considered using relations of logical deducibility and inclusion of sets of hypotheses generated. It is established that these partially ordered sets of M-predicates form distributive lattices. Products of these distributive lattices form the set of possible strategies of plausible JSM-reasoning (they represent rules of unductive inference).

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. DSM metod avtomaticheskogo porozhdeniya gipotez: Logicheskie I epistemologicheskie osnovaniya (JSM Method of Automatic Hypotheses Generation. Logical and Epistemic Foundations), Anshakov, O.M., Ed., Moscow: LIBROCOM, 2009.

    Google Scholar 

  2. Finn, V.K., Iskusstvennyi intellect: Metodologiya, primeneniya, filosofiya (Artificial Intelligence: Methodology, Application, Philosophy), Moscow: KRASAND, 2011.

    Google Scholar 

  3. Avtomaticheskoe porozhdenie gipotez v intellektualnykh sistemakh (Automatic Generation of Hypotheses in Intelligent Systems), Finn, V.K., Ed., Moscow: LIBROCOM, 2009.

    Google Scholar 

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

    Google Scholar 

  5. Finn, V.K., J. S. Mill’s inductive methods in artificial intelligence systems. Part I. Artificial intelligence and decision making, Scientific and Technical Information Processing, 2011, vol. 38, pp. 385–402.

    Article  Google Scholar 

  6. Skvortsov, D.P., On some variants of constructing logical languages with quantifiers over tuples, Semiotics and Informatics, 1983, No. 20, pp. 102–106.

    Google Scholar 

  7. Handbook of Mathematical Logic, Barwise, J., Ed., Amsterdam: North-Holland, 1977.

    Google Scholar 

  8. Vinogradov, D.W., Formalization of plausible reasoning in 1st order predicate logic, Sci. Tech. Inform., Ser. 2, 2000, no. 11, pp. 17–20.

    Google Scholar 

  9. 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  MathSciNet  Google Scholar 

  10. Bochvar, D.A., On the three-valued calculus and its application to analysis of paradoxes of classic extended functional calculus, Math. Sbornik, 1938, vol. 4, pp. 287–308.

    Google Scholar 

  11. Anshakov, O.M., Finn, V.K., and Skvortsov, D.P., On axiomatization of many-valued logic associated with formalization of plausible reasoning, Studia Logica, 1989, vol. 48, pp. 423–447.

    Article  MATH  MathSciNet  Google Scholar 

  12. Mill, J.S., System of Logic Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation, London: Parker and Bowin, 1843.

    Google Scholar 

  13. Herschel, J.F.W., Preliminary Discourse on the Study of Natural Philosophy, London, 1851.

    Google Scholar 

  14. 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  MathSciNet  Google Scholar 

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

    Book  Google Scholar 

  16. Volkova, A.Y., Algoritmization procedures of JSM method for automatic hypothesis generation, Autom. Doc. Math. Linguist., 2011, vol. 45, no. 3, pp. 113–120.

    Article  Google Scholar 

  17. Volkova, A.Y., Analyzing the data of different subject fields using the procedures of JSM method for automatic hypothesis generation, Autom. Doc. Math. Linguist., 2011, vol. 45, no. 3, pp. 127–139.

    Article  Google Scholar 

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

    Book  MATH  Google Scholar 

  19. Frege, G., Über Sinn und Bedeutung, Zeitsch. für Philos. Philos. Kritik, 1892, B. 100, S. 25–50.

    Google Scholar 

  20. Grätzer, G., General Lattice Theory, Berlin: AcademieVerlag, 1978.

    Book  Google Scholar 

  21. Grätzer, G., General Lattice Theory. First Concepts and Distributive Lattices, San Francisco: W.H. Freeman, 1971.

    Google Scholar 

  22. Church, A., Introduction to Mathematical Logic, New Jersey: Princeton University, 1956.

    MATH  Google Scholar 

  23. Finn, V.K., On the definition of empirical regularities by the JSM method for the automatic generation of hypotheses, Sci. Tech. Inform. Proc., 2010, vol. 39, no. 5, pp. 261–267.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Intelligent Systems in the humanitarian sphere of Russian, State Humanitarian University, Moscow, Russia

    V. K. Finn

Authors
  1. V. K. Finn
    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, 2014, published in Nauchno-Tekhnicheskaya Informatsiya, Seriya 2, 2014, No. 11, pp. 1–30.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Finn, V.K. Distributive lattices of inductive JSM procedures. Autom. Doc. Math. Linguist. 48, 265–295 (2014). https://doi.org/10.3103/S0005105514060028

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation