Skip to main content
SpringerLink
Log in

Epistemological foundations of the JSM method for automatic hypothesis generation

  • Published:
Automatic Documentation and Mathematical Linguistics Aims and scope

The notion that truths external to the mind may be known by intuition or consciousness, independently of observation and experience, is, I am persuaded, in these times, the great intellectual support of false doctrines and bad institutions. Mill, J.S., Autobiography, New York: P.F. Collier & Son, 1909, Chapter VII, § 4, p. 146.

Abstract

This article consists of two parts. Part I considers the so-called problem of induction, viz., the history of its genesis and elaboration, and formulates the main principles and logical tools of the JSM method for automatic hypothesis generation, including JSM reasoning. JSM reasoning is demonstrated to be a synthesis of three cognitive procedures: induction, analogy, and abduction. Two possible kinds of abduction are considered. Part I focuses on formal tools to be used for the solution of the natural-scientific problem of induction. Part II formulates the procedural semantics for predicates that are used to formalize JSM reasoning, considers quasi-axiomatic (open) theories used to represent knowledge in intelligent systems, determines the means for assessing the quality of JSM-reasoning results, and, finally, suggests a solution of the naturalscientific problem of induction for intelligent systems. Part I was published in the journal Nauchno-Tekhnicheskaya Informatsiya, ser. 2, 2013, no. 9, pp. 1–29. Part II was published in the journal Nauchno-Tekhnicheskaya Informatsiya, ser. 2, 2013, no. 12, pp. 1–26.

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. Popper, K.R., Ob’ektivnoe znanie, evolyutsionnyi podkhod, Gl. 1, (Objective Knowledge: An Evolutionary Approach, Cp. 1), Oxford: Clarendon, 1979; Moscow: Editorial URSS, 2012, pp. 12–39.

    Google Scholar 

  2. Hume, D.A., An Enquiry Concerning Human Understanding, London: A. Millar, 1748.

    Google Scholar 

  3. Hume, D.A., Traktat o chelovecheskoi prirode. Kn. 1, Chast’ III, gl. 6, (Treatise of Human Nature. Book 1, Part 3, Cp. 6), John Noon, 1739.

    Google Scholar 

  4. Bernays, P., Concerning Rationality, in The Philosophy of Karl Popper. The Library of living Philosophers, vol. 14, Schilpp, P.A., Ed., La Salle, Illinois: Open Count, 1974; Moscow: Editorial URSS, pp. 597–605.

    Google Scholar 

  5. Gillies, D., Artifitial Intelligence and Scientific Method, Oxford: University Press, 2008.

    Google Scholar 

  6. Bacon, F., The Novum Organon, or a True Guide to the Interpretation of Nature, Oxford: Oxford University Press, 1855; OGIZ-SOTSEGIZ, Leningr. Otd., 1935.

    Google Scholar 

  7. Herschel, J.F.W., Filosofiya estestvoznaniya, (Preliminary Discourse on the Study of Natural Philosophy), London, 1851; Moscow: Librokom, 2011.

    Google Scholar 

  8. 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, 1843; Moscow: Lenard, 2011.

    Google Scholar 

  9. JSM-metod avtomaticheskogo porozhdeniya gipotez: logicheskie i epistemologicheskie osnovaniya (J. S. Mill’sMethod of Hypothesis Automatic Generation: Logic and Epistemic Foundations), Anshakov, O.M., Ed., Moscow: LIBROKOM, 2009.

    Google Scholar 

  10. Whewell, W., Istoriya induktivnykh nauk ot drevnostei i do nastoyashchego vremeni. V 3-kh tomakh, (History of the Inductive Sciences. Vols. 1–3), London, 1837; St. Peterb.: Russ. Knizh. Torgov., 1867–1869.

    Google Scholar 

  11. Whewell, W., Filosophiya induktivnykh nauk. Tom 1–2, (Philosophy of the inductive sciences. vols. 1–2), London, 1840; St. Petersburg: Russ. Knizhn. Torgov., 1867.

    Google Scholar 

  12. Leikfel’d, P., Logicheskoe uchenie ob induktsii (Logic Teaching on Induction), St. Petersburg: Russ. Knizhn. Torgov., 1868.

    Google Scholar 

  13. Vladislavlev, M.I., Logika (Logic), St. Petersburg, 1881, Application, pp. 223–233.

    Google Scholar 

  14. Pierce, C.S., How to make our ideas clear? in Izbrannye proizvedeniya (Selected Works), Moscow: LOGOS, 2000; Popular Science, Vol. 12, pp. 286–302.

    Google Scholar 

  15. Lakhuti, D.G., Mill, Peirce and Popper on Logic of Scientific Discovery, Vopr. Filos., 2012, no. 3, pp. 101–109.

    Google Scholar 

  16. Ajdukiewicz, The scientific world-perspective and other essays 1931–1963, in Synthesis Library, Vol. 108, §3. The World-Picture and the Conceptual Apparatus, Dordrecht-Holland: 1978, pp. 67–89.

  17. Avtomaticheskoe porozhdenie gipotez v intellektual’nykh sistemakh (Automatic Production of Hypothesis in Intellectual Systems), Moscow: LIBROKOM, 2009.

  18. Finn, V.K., J. S. Mill and his ideas about induction and “logic of moral sciences”, in J. S. Mill, Sistema logiki sillologicheskoi I inductivnoi, (A System of Logic Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation), Moscow: LENAND, 2011.

    Google Scholar 

  19. Finn, V.K., A System of Logic Ratiocinative and Inductive, in Entsiklopediya epistemologii i filosofii nauki (Encyclopedia of Epistemology and Philosophy of Science, Moscow: Kanon+, 2009).

    Google Scholar 

  20. van Benthem, J., Logic and reasoning: Do the facts matter? Studia Logica, 2008, vol. 88, pp. 67–84.

    Article  MATH  MathSciNet  Google Scholar 

  21. Finn, V.K., Iskusstvennyi intellekt: metodologiya, primeneniya, filosofiya. Chast’ I, Chast’ III, (The Artificial Intellect: Methodology, Applications, Philosophy. Part I, Part III), Moscow: KRASAND, 2011.

    Google Scholar 

  22. Nickerson, R.S., Perkins, D.N., and Smith, E.E., The Teaching of Thinking, Hillsdale: Erlbaum, 1985.

    Google Scholar 

  23. Wertheimer, M., Productive Thinking, New York: Harper and Bros, 1954.

    Google Scholar 

  24. Kraft, V., Der Wiener Kreis. Der Ursprung des Neopositivismus. Ein Kapitel der jungsten Philosophiegeschichte, Wien: Springer-Verlag, 1950.

    Google Scholar 

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

    Book  Google Scholar 

  26. Aliseda, A., Abductive Reasoning: Logical Investigation into Discovery and Explanation, Synthese Library, vol. 330, 2006.

  27. Finn, V.K., J.S. Mill’s inductive methods in artificial intelligence systems, Part I, Sci. Tech. Inform. Proc., 2011, vol. 38, pp. 385–402.

    Article  Google Scholar 

  28. Finn, V.K., J.S. Mill’s inductive methods in artificial intelligence systems, Part II, Sci. Tech. Inform. Proc., 2012, vol. 39, pp. 241–261.

    Article  Google Scholar 

  29. Volkova, A. Yu., Algoritmization procedures of JSM method for automatic hypothesis generation, Autom. Docum. Math. Ling., 2011, vol. 45, pp. 113–120.

    Article  Google Scholar 

  30. Volkova, A.Yu., Analyzing the data of different subject fields using the procedures of JSM method for automatic hypothesis generation, Autom. Docum. Math. Ling., 2011, vol. 45, pp. 127–139.

    Article  Google Scholar 

  31. Finn, V.K., Plausible inferences and reliable reasoning, J. Sov. Math., 1991, vol. 56, pp. 2201–2248.

    Article  MATH  Google Scholar 

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

    Article  Google Scholar 

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

    Google Scholar 

  34. Barvais, D., Vvedenie v logiku pervogo poryadka. Spravochnaya kniga po matematicheskoi logike. Chast’ I. Teoriya modelei, (Introduction into First Order Logic. A Handbook on Mathematical Logic. Part I. Model Theory), Moscow: Nauka, 1982.

    Google Scholar 

  35. Finn, V.K., Inductive method of joint agreement-difference and procedural semantics of the JSM method, Autom. Docum. Math. Ling., 2010, vol. 44, pp. 68–88.

    Article  Google Scholar 

  36. Bochvar, D.A., On one three-valued calculus and its application to the paradox analysis of classical enhanced calculus, Matem. Sbor., 1938, vol. 4, pp. 287–308.

    Google Scholar 

  37. Finn, V.K., On super strategies of intelligent systems of the JSM type for evidence-based medicine, Autom. Docum. Math. Ling., 2011, vol. 45, pp. 267–277.

    Article  Google Scholar 

  38. Peirce, C.S., Rassuzhdeniya I logika veshchei (Reasoning and the Logic of Things), Cambridge, Massachusetts: Harvard University, 1992; Moscow: RGGU, 2005

    Google Scholar 

  39. Burks, A.W., Peirce’s theory of abduction, Philos. Sci., 1946, vol. 13, pp. 301–306.

    Article  Google Scholar 

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

    Book  Google Scholar 

  41. Eisele, C., Studies in the scientific and mathematical philosophy of Ñharles S. Peirce, in Essays by Carolyn Eisele, The Hague: Mounton, 1979.

    Google Scholar 

  42. Kapitan, T., Peirce and the autonomy of abductive reasoning, Erkenntnis, 1992, vol. 37, pp. 2–36.

    Article  MathSciNet  Google Scholar 

  43. Paul, G., Artificial intelligence Approaches to abduction, in Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 4. Abductive Reasoning and Uncertainty Management Systems, Gabbay, D.M. and Smets, P., Eds., Dordrecht: Kluwer Academic, 2000.

    Google Scholar 

  44. Peirce, C.S., Collected Papers, vol.5, Cambridge, MA: Harvard University, 1934.

    Google Scholar 

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

    MATH  Google Scholar 

  46. Anshakov, O.M., Causal models of object regions, Nauch. Tekh. Inform. Ser. 2, 2000, no. 3, pp. 45–53.

    Google Scholar 

  47. Finn, V.K., The synthesis of cognitive procedures and the problem of induction, Autom. Docum. Math. Ling., 2009, vol. 43, pp. 149–195.

    Article  Google Scholar 

  48. Hempel, C.G. and Oppenhiem, P., The logic of explanation, Philosophy of Sci., 1948, no. 15, pp. 130–175.

    Google Scholar 

  49. Hájek, P. and Havránek, T., Mechanizing Hypothesis Formation. Mathematical Foundations for a General Theory, Berlin: Springer-Verlag, 1978; Moscow: Nauka, 1984.

    Book  MATH  Google Scholar 

  50. Prakken, H. and Vreeswijk, G., Logics for defeasible argumentation, Handbook of Philos. Logic. Vol. 4, Dordrecht: Kluwer Academic, 2001.

    Google Scholar 

  51. Anshakov, O. and Gergely, T., Cognitive Reasoning. A Formal Approach, Berlin: Springer-Verlag, 2010.

    MATH  Google Scholar 

  52. Bolc, L. and Borowik, P., Many-Valued Logics. Vol. 1. Theoretical Foundations, Springer-Verlag, 1992, pp. 123–142.

    Google Scholar 

  53. Kleene, S.C., Vvedenie v metamatematiku (Introduction to Metamathematics), New York: D. Van Nostrand, 1952; Moscow: InLit., 1957.

    Google Scholar 

  54. Zabezhailo, M.I., Ivashko, V.G., Kuznetsov, S.O., Mikheenkova, M.A., Khazanovskii, K.P., and Anshakov, O.M., Algorithmic and program means of the J.S. Mill’s method for the automatic generation of hypotheses, Nauch.-Tekh. Inform. Ser. 2, 1987, no. 10, pp. 1–14.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  56. Zeeman, E.C., The topology of the brain and visual perception, In: Fort, M.K., Topology of 3-Manifolds, 1962.

    Google Scholar 

  57. Shreider, Yu.A., Ravenstvo, skhodstvo, poryadok (Equality, Similarity, Order), Moscow: Nauka, 1971.

    Google Scholar 

  58. De Bouvére, K.L., A method in Proofs of Undefinability, Amsterdam: North-Holland, 1950.

    Google Scholar 

  59. Bridgman, P.W., The Logic of Modern Physics, New York, 1927.

    Google Scholar 

  60. Bridgman, P.W., The Nature of Some Our Physical Concepts, New York, 1952.

    MATH  Google Scholar 

  61. Zabezhailo, M.I., On the Functionality of the Causal Relation Used in J.S. Mill’s Reasoning, Autom. Docum. Math. Ling., 2013, vol. 47, pp. 162–167.

    Article  Google Scholar 

  62. Flach, P.A. and Kakas, A., On the relation between abduction and inductive learning, In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, Vol. 4, Abductive Reasoning and Learning, Gabbay, D.M. and Kruse, R., Eds., Dordrecht: Kluwer Academic, 2000, pp. 1–33.

    Google Scholar 

  63. Salmon, M.H., Introduction to Logic and Critical Thinking, Harcourt: Jovanovich, 1984.

    Google Scholar 

  64. Handbook of History of Logic. Vol. 10. Inductive Logic, Gabbay, D.M. Hartmann, S., and Woods, J., Eds., Amsterdam: Elsevier, 2011.

    Google Scholar 

  65. Carnap, R., Logical Foundation of Probability, London: Routledge, 1950.

    Google Scholar 

  66. Hintikka, J., What is abduction? The fundamental problem of contemporary epistemology, Ttrans. Charles S. Peirce Soc., 1998, vol. 34, pp. 503–533.

    Google Scholar 

  67. Esenin-Vol’pin, A.S., On antitraditional (ultraintuitionistic) program of mathematic foundations and natural-scientific thinking, Vopr. Filos., 1996, no. 8, pp. 100–136.

    Google Scholar 

  68. Finn, V.K., Neologitsizm — Philosophy of Justified Knowledge, Vopr. Filos., 1996, no. 8, pp. 89–99.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. All-Russian Institute of Scientific and Technical Information, Russian Academy of Sciences, 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, 2013, published in Nauchno-Tekhnicheskaya Informatsiya, Seriya 2, 2013, No. 9, pp. 1–29; No. 12, pp. 1–26.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Finn, V.K. Epistemological foundations of the JSM method for automatic hypothesis generation. Autom. Doc. Math. Linguist. 48, 96–148 (2014). https://doi.org/10.3103/S0005105513060058

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation