Skip to main content
SpringerLink
Log in

The synthesis of cognitive procedures and the problem of induction

  • Published:
Automatic Documentation and Mathematical Linguistics Aims and scope

Abstract

The JSM-method of automated hypotheses generation realizing the automated plausible reasoning in Intelligent Systems is described. It is shown that the method represents specially organized interaction of induction, analogy and abduction. The foundations of exact epistemology for JSM- Intelligent Systems are formulated.

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., Epistemology without a Knowing Subject, in Logic and the Growth of Scientific Knowledge, Moscow: Progress Press, 1983, pp. 439–495.

    Google Scholar 

  2. Rescher, N., Peirce’s Philosophy of Science, Notre Dame, London: University of Notre Dame press, 1978.

    Google Scholar 

  3. Peirce, C.S., Abduction and Induction, in Philosophical Writings of Peirce, Buchler, J., Ed., New York: Dover Publications, 1995, pp. 150–156.

    Google Scholar 

  4. Burks, A.W., Peirce’s Theory of Abduction, Philosophy Sci., 1946, vol. 13, pp. 301–306.

    Article  Google Scholar 

  5. Freeman, E. and Scolimovski, H., The Search for Objectivity in Peirce and Popper, in The Philosophy of Popper, vol. 14: The Library of Living Philosophers, La Salle: Illinois University Press, 1974.

    Google Scholar 

  6. Popper, K.R., Objective Knowledge: an Evolutionary Approach, Oxford: The Clarendon Press, 1972.

    Google Scholar 

  7. Vertgeymer, M., Produktivnoye Myshleniye, Moscow: Progress Press, 1972.

    Google Scholar 

  8. Yesenin-Volpin, A.S., Svobodnyy filosofskiy traktat, New York: Frederick A. Praeger, 1961.

    Google Scholar 

  9. Finn, V.K., Neologitsizm—filosofiya obosnovannogo znaniya, Voprosy filosofii, 1996, vol. 8 pp. 89–99.

    Google Scholar 

  10. Yesenin-Volpin, A.S., Ob antitraditsionnoy (ul’traintuitsionistskoy) programme osnovaniy matematiki i yestyestvennonauchnom myshlenii, Voprosy filosofii, 1996, vol 8, pp. 100–136.

    Google Scholar 

  11. Popper, K.R., Philosophical Comments on Tarski’s Theory of Truth, in Objective Knowledge: an Evolutionary Approach, Oxford: Clarendon Press, 1972, pp. 319–340.

    Google Scholar 

  12. Tarski, A., The Concept of Truth in Formalized Languages, in Logic, Semantics, Metamathematics, Oxford: Oxford University Press, 1956, pp. 152–278.

    Google Scholar 

  13. Finn, V.K., Pravdopodobnyye vyvody i pravdopodobnyye rassuzhdeniya, Itogi nauki i tekhniki, Ser.: Teoriya veroyatnostey, Matematicheskaya statistika, Teoreticheskaya kibernetika, 1988, vol. 28, pp. 3–84.

    MATH  MathSciNet  Google Scholar 

  14. Finn, V.K., Pravdopodobnyye rassuzhdeniya v intellektual’nykh sistemakh tipa DSM, Itogi nauki i tekhniki, ser. Jnformatika, 1991, vol. 15, pp. 54–101.

    Google Scholar 

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

    MATH  Google Scholar 

  16. Bergson, H., Creative Evolution, 1914.

  17. Hajek, P. and Havranek, T., Mechanizing Hypothesis Formation, New York: Springer-Verlag, 1914.

    Google Scholar 

  18. Mill, J.S., Sistema logiki sillogisticheskoy i induktivnoy, Moskva: Knizhnoye delo, 1900.

    Google Scholar 

  19. Bacon, F., The New Organon, 1935.

  20. Grätzer, G., Universal Algebra, Princeton, N. J.: D. Van Nostrand Company, 1968.

    MATH  Google Scholar 

  21. Anshakov, O.M., Skvortsov, D.P., and Finn, V.K., Logisheskiye sredstva ekspertnykh sistem tipa DSM, Semiotika i Informatika, 1986, vol. 28, pp. 65–101; Moskva: VINITI.

    MATH  MathSciNet  Google Scholar 

  22. Anshakov, O.M., Skvortsov, D.P., and Finn, V.K., O deduktivnoy imitatsii nekotorykh variantov DSM-metoda avtomaticheskogo porozhdeniya gipotez, Semiotika i Informatika, 1993, vol. 33, pp. 164–233; Moskva: VINITI.

    Google Scholar 

  23. Plonka, J., On Distributive Quasi-Lattices, Fundamentals of Mathematics, 1967, vol. 60, pp. 191–200.

    MATH  MathSciNet  Google Scholar 

  24. Kuznetsov, S.O., DSM-metod kak sistema avtomaticheskogo obycheniya, Itogi nauki i tekhniki, Ser.: Informatika, 1991, vol. 15, pp. 17–53.

    Google Scholar 

  25. Chen’, Ch. and Lee, P., Matematicheskaya logika i avtomaticheskoye dokazatel’stvo teorem, Moscow: Nauka, 1983.

    Google Scholar 

  26. Bochvar, D.A., Ob odnom trekhznachnom ischislenii i yego primenenii k analizu paradoksov klassicheskogo rasshirennogo funktsional’nogo ischisleniya, Matematicheskiy sbornik, 1938, vol. 4, no. 2, pp. 287–308.

    MATH  Google Scholar 

  27. Ramsey, F.P., The Foundations of Mathematics, London: Routledge & Kegan Paul, 1950.

    Google Scholar 

  28. Finn, V.K., Ob odnom variante logiki argumentatsii, Nauch. Tekh. Itogi, Ser. 2, 1996, vols. 5–6, pp. 3–19.

    MathSciNet  Google Scholar 

  29. Anshakov, O.M., Finn, V.K., and Skvortsov, D.P., An Axiomatization of Many-Valued Logics Associated with Formalization of Plausible Reasonings, Studia Logica, 1989, vol. 48, pp. 423–447 [Logicheskiye issledovaniya (Russ. Transl.), vol. 1, pp. 222–247].

    Article  MATH  MathSciNet  Google Scholar 

  30. Skvortsov, D.P., O nekotorykh sposobakh postroyeniya logicheskikh yazykov s kvantorami po kortezham, Semiotika i Informatika, 1983, vol. 20, pp. 102–126; Moskva: VINITI.

    MATH  MathSciNet  Google Scholar 

  31. Etmane, I.E., Ob odnoy formalizatsii ponyatiya mnogotochiya, Semiotika i Informatika, 1986, vol. 27, pp. 121–141; Moskva: VINITI.

    MathSciNet  Google Scholar 

  32. Finn, V.K., Anshakov, O.M., Grigolia, R.Sh, and Zabezhailo, M.I., Many-Valued Logics as Fragments of Formalized Semantics, Acta Filosofica Fennica, 1982, vol. 35, pp. 239–272 [Semiotika i Informatika (Russ. Transl.), 1982, vol. 15, pp. 27–60; Moskva: Nauka].

    MATH  MathSciNet  Google Scholar 

  33. Spinoza, B., Ethics, 1911.

  34. Hume, D., A Treatise of Human Nature, 1995.

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

    MATH  Google Scholar 

  36. Codognet, P., Dung, P.M., Kakas, A.C., and Mancarella, P., Postconference Workshop on Abductive Reasoning, Budapest, 1993.

  37. Polya, G., Mathematics and Plausible Reasoning, Princeton, N. J.: Princeton University Press, 1954.

    Google Scholar 

  38. Leibniz, G.W., Monadology.

  39. Kaiberg, H., Probability and Inductive Logic, 1978.

  40. Zabezhailo, M.I., Formal’nyye modeli rassuzhdeniy v prinyatii resheniy: prilozheniya DSM-metoda v sistemakh intellektual’nogo upravleniya i avtomatizatsii nauchnykh issledovaniy, Nauchniye i Tekhnicheckiye Itogi, Ser. 2, 1996, vols. 5–6, pp. 20–33.

    Google Scholar 

  41. Finn, V.K., Ob obobshchennom DSM-metode avtomaticheskogo porozhdeniya gipotez, Semiotika i Informatika, 1989, vol. 29, pp. 93–123; Moskva: Nauka.

    Google Scholar 

  42. Zadeh, L.A., Fuzzy Sets and Systems, in The Symposium: System Theory, 1965, pp. 29–37.

  43. McCarthy, J. and Hayes, P.G., Some Philosophical Problems in the Task of Constructing Artificial Intelligence, in Kiberneticheskiye problemy bioniki, Moscow: Mir, 1972, pp. 40–87.

    Google Scholar 

  44. Kuznetsov, S.O. and Finn, V.K., Ob odnoy izucheniya i klassifikatsii, osnovannoy na operatsii skhodstva, Obozreniye prikladnoy i promyshlennoy matematiki, Vol. 3, 1996, pp. 66–90.

    MATH  Google Scholar 

  45. Wille, R., Concept Lattices and Conceptual Knowledge Systems, Comput. Math. Appl., 1992, vol. 23, nos. 6–9, pp. 493–515.

    Article  MATH  Google Scholar 

  46. Bernays, P., Concerning Rationality, in The Philosophy of Popper, Vol. 14: The Library of Living Philosophers, La Salle: Illinois University Press, 1974.

    Google Scholar 

  47. Mikheyenkova, M.A., DSM-metod pravdopodobnogo rassuzhdeniya kak sredstvo analiza sotsial’nogo povedeniya, Izvestiya RAN, Ser.: Teoriya i sistemy upravleniya, 1997, vol. 5, pp. 62–70.

    Google Scholar 

  48. Archer, M., Realizm i morfogenez, Sotsiologicheskiy zhurnal, 1994, vol. 4, pp. 50–68.

    Google Scholar 

  49. Piaget, J. and Inel’der, B., Genezis elementarnykh logicheskikh structur, Moskva: IL, 1963.

    Google Scholar 

  50. Popper, K.R., Bernay’s Pleas for a Wider Notion of Rationality, in The Philosophy of Popper, Vol. 14: The Library of Living Philosophers, La Salle: Illinois University Press, 1974.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. R. W. Burch, Professor of Philosophy, Department of Philosophy, Texas A&M University, College Station, USA

    V. K. Finn

Authors
  1. V. K. Finn
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Original Russian Text © V.K. Finn, 2009, published in Nauchno-Tekhnicheskaya Informatsiya, Seriya 2, 2009, No. 6, pp. 1–37.

The article was translated by the authors.

About this article

Cite this article

Finn, V.K. The synthesis of cognitive procedures and the problem of induction. Autom. Doc. Math. Linguist. 43, 149–195 (2009). https://doi.org/10.3103/S0005105509030042

Download citation

  • Published:

  • Issue Date:

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

Key words

Search

Navigation