Abstract
A system of concepts and principles of exact epistemology (EE) is formulated, which is understood to be the means of acquiring new knowledge through heuristics that use an ordered set of plausible reasoning strategies. The result of their application to sequences of expandable fact bases is empirical regularities that replenish the knowledge bases of intelligent systems (ISs), which are a constructive means of achieving the principles of exact epistemology, the main concept of which is the definition of theoretical intelligence. We consider the JSM method of automated research support, which uses the interaction of induction, analogy, and abduction as a constructive method of exact epistemology for acquiring new knowledge through intelligent systems. The problems of the formation and development of artificial intelligence in Russia are discussed.
Similar content being viewed by others
Notes
Obviously, this is consistent with the intention of the authors of [2].
Ampliative inferences are plausible inferences by which knowledge is generated that is not directly contained in the parcels, that is, synthetic judgments according to I. Kant [6].
P. Bernays in [8] suggested that heuristics should be the subject of logic and a means of rationality.
The use of ampliative inferences is a necessary condition for the functioning of productive thinking in the sense of M. Wertheimer [10].
Previously, they were formulated in [12].
This problem was discussed by C.S. Pier in [14].
See [22a].
In [23] D.G. Lahuti uses the term “subject of knowledge”
The term “partner man-machine system” was proposed by Tomasz Gergei.
In connection with BPEE-3, see the book of K.R. Popper [15].
Recall that understanding is one of the characteristics of intelligence in cognitive psychology [17].
Passive consciousness, apparently, should be characterized psychophysiologically (an example is sleep [24]).
We note that machine learning formalizes and automates only two intellectual abilities—recognition and classification.
This, in particular, means the determinability of a relationship of similarity of facts.
The fact that the array belongs to the representation of knowledge about W1-1 means the inapplicability of AI methods.
For the first time, logical connectives Jν were proposed by D.A. Bochvar for three-valued logic in [37].
Inference rules by analogy can also be formulated for the W1-3 ontology ([30], Ch. 10 and 11).
The idea of the connection between induction and analogy belongs to D. Herschel [39].
An important idea of the dynamic consideration of knowledge in logic was considered in [46].
The considered existential amplifications \(A_{j}^{\sigma }\) in \( \sim _{j}^{\sigma }\) are equivalent to the assumption of nonemptiness of the antecedent \(A_{j}^{\sigma }:\neg {\kern 1pt} (D_{{2,j}}^{\sigma } = \Lambda )\) in [16].
See also [48].
See [16] see Table 3.
The logics of empirical modalities are considered in [16].
Note that FB(s, h) = FB(s, j) for 1 ≤ h, j ≤ ( s+ 1)!
ERA—logic of the class “detection of empirical regularities and abduction”.
Hypotheses about prediction are verified according to the direct correspondent concept of truth, and hypotheses about causes are evaluated according to the indirect correspondent concept of truth.
The fruitlessness of the ASSR JSM method with respect to ER means that the set ExtER corresponding to IntER is empty.
The importance of monitoring inductive inferences is noted in [54].
Confirmed realizations \(A_{\chi }^{\sigma }(C{\kern 1pt} ',Q)\) are determined by Df.7-2 and abduction of the second kind.
However, the idea of “research” was expressed by C.S. Peirce very psychologically as a desire to get a “true opinion” [57].
Recall that the AI system is a computer system that uses known AI tools (decision trees, neural networks, genetic algorithms, findings based on precedents). AI robot is formed by an intelligent system, a sensor unit and mechatronics.
From the point of view of EE and related features of DM (14)', decision tree procedures [59] and formal concepts [60] are not a means of DM, since they are based on the Aristotelian “thing – properties” ontology [58], which is typical for problems of classification. Note that the use of decision trees in computer systems belongs to the class of “AI systems”, but not to the class of intelligent systems. However, the procedures of decision trees and formal concepts can be used in the preprocessing of data preparation for DM and for the procedures of the ASSR JSM-method.
DM of sociological data is a means of formalized qualitative analysis of data, the result of which is the detection of determinants of social behavior, taking into account the influence of situations on it, recognizing the rationality of opinions and solving other problems.
The first version of the ASSR JSM method was called “JSM method of automatic generation of hypotheses”.
Perhaps this area is fashion [67].
These modes correspond to the realization of reason and mind [6].
Recognition of rationality of opinions is carried out by logic of argumentation.
For example, the use of expert systems in the field of fashion [67].
Science is an essential aspect of culture.
Intellectualization is an essential cultural phenomenon, and digitalization, that is, a civilization one. Digitalization is a necessary technological aspect of intellectualization generated by AI problems.
REFERENCES
Turing, A.M., Computing machinery and intelligence, Mind, 1950, no. 59, pp. 433–460.
MacCarthy, G. and Hayes, P.G., Some philosophical problems from the standpoint of Artificial Intelligence, Mach. Intell., 1969, no. 4, pp. 463–502.
Minsky, M., Steps towards artificial intelligence, Proc. IRE, 1961, vol. 49, pp. 8–30.
Alpaidin, E., Mashinnoe obuchenie: Novyi iskusstvennyi intellekt? (Machine Learning: The New Artificial Intelligence?), Moscow: Izd. Gruppa Tochka, 2017.
Minsky, M., The Society of Mind, Simon & Schuster, Inc., 1986.
Kant, I., Kritik der reinen Vernunft, Johann Friedrich Hartknoch, 1781.
Polya, G., How to Solve It, Princeton: Princeton University Press, 1945.
Bernays, P., Concerning rationality, in The Library of Living Philosophers, vol. 14: The Philosophy of Karl Popper, Book 1, Schilpp, P.A., Ed., 1974, La Salle, IL: Open Court, pp. 597–605.
Fann, K.T., Pierce’s Theory Abduction, The Hague: Martinus Nijhoff Publishers, 1970.
Vertheimer, M., Productive Thinking, New York: Harper & Brothers Publishers, 1954.
Searle, J.R., Rationality in Action, MIT Press, 2001.
Finn, V.K., Toward structural cognitology: Phenomenology of consciousness from the point of view of artificial intelligence, in Iskusstvennyi intellekt: Metodologiya, primeneniya, filosofiya (Artificial Intelligence: Methodology, Applications, and Philosophy), Moscow: KRASAND, 2018.
Miller, G.A., Galanter, E., and Pribram, K.H., Plans and the Structure of Behavior, New York: A Holt-Dryden Sook, Henry Holt and Company, 1960.
Peirce, C.S., How to make our ideas clear, Pop. Sci. Mon., 1878, no. 12, pp. 286–302.
Popper, K.R., Knowledge and the Body-Mind Problem. In Defense of Interaction, Estate of Sir Karl Popper, 2008.
Finn, V.K., On the heuristics of JSM research (additions to articles), Autom. Doc. Math. Linguist., 2019, vol. 52, no. 5, pp. 250–282.
Nickerson, R.S., Perkins, D.N., and Smith, E.E., The Teaching of Thinking, Hillsdale, NY: Erlbaum, 1985.
Jaspers, K., Allgemein Psycho-Patologie, Berlin–Heidelberg–New York: Springer-Verlag, 1973.
McCarthy, J., From here to human-level AI, Artif. Intell., 2007, vol. 171, no. 18, pp. 1174–1182.
Finn, V.K., Iskusstvennyi intellekt: Metodologiya, primeneniya, filosofiya (Artificial Intelligence: Methodology, Applications, and Philosophy), Moscow: KRASAND, 2018, part 3, ch. 2, pp. 232–239.
Gadamer, H.-G., Wahrheit und Methode, Tubingen: J.C.B. Mohr (Paul Siebek), 1960.
Kraft, V., Der Weiner Kreis. Der Ursrung des Neopositivismus, Wein: Springer-Verlag, 1950. 22a. Finn, V.K., Twelve theses on argumentation systems, Autom. Doc. Math. Linguist., 2012, vol. 46, no. 6, pp. 235–247.
Popper, K.R., Objective Knowledge. An Evolutionary Approach, Oxford: Oxford Clarendon Press, 1979.
Freud, S., Die Traumdeutung, Leipzig–Wien: Franz Deuticke, 1899.
Tarski, A., The concept of truth in formalized languages, in Logic, Semantics, Metamathematics, Oxford: Clarendon Press, 1956, pp. 152–278.
Tarski, A., The semantic conception of truth and the foundation of semantics, Philos. Phenomenol. Res., 1944, vol. 4, no. 3, pp. 341–375.
Rescher, N., The Coherence Theory of Truth, Oxford: Clarendon Press, 1973.
Weingartner, P., Basic Question on Truth, Dordrecht–Boston–London: Kluver Academic Publishers, 2000.
Finn, V.K., On the class of JSM reasoning that uses the isomorphism of inductive inference rules, Sci. Tech. Inf. Process., 2017, vol. 44, pp. 387–396.
DSM-metod avtomaticheskogo porozhdeniya gipotez: Logicheskie i epistemologicheskie osnovaniya (The JSM Method for Automatic Hypothesis Generation: Logical and Epistemological Grounds), Anshakov, O.M., Ed., Moscow: LIBROKOM, 2009.
Nilsson, N.J., Artificial Intelligence: A New Synthesis, San Francisco, CA: Morgan Kaufmann Publishers, Inc, 1998.
Luger, G.F., Artificial Intelligence and Strategies for Complex Problem Solving, Addison-Wesley Publishing Company, Inc., 2002.
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, pp. 315–345.
Mill, J.S., A System of Logic Ratiocinative and Inductive, Being a Connected View of Principles of Evidence and the Methods of Scientific Investigation, London: Parker, Son and Bowin, 1843. 34a. Finn, V.K., Epistemological foundations of the JSM method for automatic hypothesis generation, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 2, pp. 96–148.
Finn, V.K., Distributive lattices of inductive JSM-procedures, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 6, pp. 265–295.
Rosser, J.B., Turquette, A.R., Many-Valued Logics, Amsterdam: North–Holland Publishing Company, 1958.
Bochvar, D.A., On one three-valued calculus and its application to the analysis of paradoxes of the classical extension of functional calculus, Mat. Sb., 1938, vol. 4, no. 2, pp. 287–308.
Finn, V.K., Iskusstvennyi intellekt: Metodologiya, primeneniya, filosofiya (Artificial Intelligence: Methodology, Applications, and Philosophy), Moscow: KRASAND, 2018.
Herschel, J.F.W., Preliminary Discourse on the Study of Natural Philosophy, London, 1851.
Anderson, A.R. and Belnap, N.D., Entailment: The Logic of Relevance and Necessity, Princeton: Princeton University Press, 1975, vol. 1.
Smullyan, R.M., First-Order Logic, New York: Springer-Verlag, Inc., 1968.
Peirce, C.S., Collected Papers, Cambridge, MA: Harv. Univ. Press, 1934, p. 189.
Abductive Inference: Computation, Philosophy, Technology, Josephson, J.R. and Josephson, S.G., Eds., Cambridge: University Press. 1994.
Aliseda, A., Abductive reasoning, Synthes Libr., 2006, vol. 330.
Kapitan, T., Pierce and the structure of abductive inference, in Studies in the Logic of Charles Sanders Pierce, Houser, N., Roberts, D.D., and Van Evra, J., Eds., Indiana University Press, 1997.
Venema, Y., Dynamic models in their logical surroundings, in Logic in Action, Institute for Logic, Language, and Computation, 2001. 46a. van Benthem, J., Logic and reasoning: Do the facts matter?, Stud. Logica, 2008, vol. 88, no. 1, pp. 67–84.
Reichenbach, H., Nomological Statement and Admissible Operations, Amsterdam: North-Holland Publishing Co., 1954.
Finn, V.K., On the non-Aristotelian structure of concepts, Logicheskie Issled., 2015, no. 21, pp. 9–43.
Feys, R., Modal Logics, Louvain: E. Nauwelaerts, 1965.
Chellas, B.F., Modal Logic: An Introduction, Cambridge: Cambridge University Press, 1980.
von Wright, G.H., Explanation and Understanding, London, 1971.
Finn, V.K., Heuristics for detecting empirical patterns and principles of data mining, Iskusstv. Intell. Prinyatie Reshenii, 2018, no. 3, pp. 3–19.
Hume, D., A Treatise of Human Nature, 1739.
Gillies, D., Artificial Intelligence and Scientific Method, New York: Oxford University Press Inc., 1996.
Hintikka, J., What is abduction? The fundamental problem of contemporary epistemology, Trans. Charles S. Peirce Soc., 1998, vol. 34, no. 3, pp. 503–533.
Finn, V.K. and Shesternikova, O.P., The heuristics of detection of empirical regularities by JSM reasoning, Autom. Doc. Math. Linguist., 2018, vol. 52, pp. 215–247.
Frankfurt, H., Peirce’s notion of abduction, J. Philos., 1958, vol. 55, pp. 593–597.
Cassirer, E., Substanzbegriff und Funktionsbegriff, Berlin: Untersuchungen über die Grundfragen der Erkenntniskritik, 1910.
Quinlan, J.R., Induction of decision trees, Mach. Learn., 1986, vol. 1, no. 1, pp. 81–106.
Wille, R., Formal concept analysis as mathematical theory of concepts and concept hierarchies, in Formal Concept Analysis. Foundations and Applications, Ganter, B., Stumme, G., and Wille, R., Eds., Berlin–Heidelberg: Springer-Verlag, 2005, pp. 1–33.
Rickert, H., Kulturwissenschaft und Naturwissenschaft, 1926.
Klimova, S.G., Mikheenkova, M.A., and Finn, V.K., The JSM method in a qualitative sociological study: Basic principles and experience of use, Sotsiol. Zh., 2016, vol. 22, no. 2, pp. 8–30. 62a. Mikheenkova, M.A. and Klimova, S.G., Knowledge discovery in social research, Autom. Doc. Math. Linguist., 2018, vol. 52, no. 6, pp. 318–329.
Finn, V.K. and Mikheyenkova, M.A., Plausible reasoning for the problems of cognitive sociology, Logic Logical Philos., 2011, vol. 20, nos. 1–2, pp. 111–137.
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; Finn, V.K., J.S. Mill’s inductive methods in artificial intelligence systems. Part II, Sci. Tech. Inf. Process., 2012, vol. 39, no. 5, pp. 241–260.
Finn, V.K. and Shesternikova, O.P., A new variant of the generalized JSM-method for automatic support of scientific research, Sci. Tech. Inf. Process., 2017, vol. 44, pp. 338–344.
Avtomaticheskoe porozhdenie gipotez v intellektual’nykh sistemakh (Automatic Hypothesis Generation in Intelligent Systems), Anshakov, O.M., Ed., Moscow: Kn. Dom LIBROKOM, 2020.
Golub, A., Iskusstvennyi intellekt dlya mody (Artificial Intelligence for Fashion), Minsk: Diskurs, 2019.
National Strategy for the Development of Artificial Intelligence for the Period up to 2030, in Decree of the President of the Russian Federation of October 10, 2019No. 490 On the Development of Artificial Intelligence in the Russian Federation. http://publication.pravo.gov.ru/ Document/View/0001201910110003?fbclid=IwAR2xeHUwiftVrNSBbjpc6cCVeMEiS8tQJ_4Gz4GrWDiutgHVxCSxBy5Q6MM.
Chebanov, D.K. and Mikhailova, I.N., Intellectual mining of patient data with melanoma for identification of disease markers and critical genes, Autom. Doc. Math. Linguist., 2019, vol. 53, pp. 283–287.
Webster, F., Theories of the Information Society, London–New York: Routledge, 1995.
CONFLICT OF INTEREST
The authors declare that they have no conflicts of interest.
Funding
This work was partly supported by the Russian Foundation for Basic Research (project No. 18-29-03063).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated by S. Avodkova
About this article
Cite this article
Finn, V.K. Exact Epistemology and Artificial Intelligence. Autom. Doc. Math. Linguist. 54, 140–173 (2020). https://doi.org/10.3103/S0005105520030073
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0005105520030073