Abstract
In this paper, we consider the strengthening of the JSM method for automated support of scientific research (ASSR JSM method) by introducing a ternary relationship of causality such that positive facts can contain negative causes and negative facts can contain positive causes. In this connection, we consider unions of factbase subsets that correspond to combinations of pairs of similarity predicates that, in turn, represent binary and ternary relationships of causality, respectively, for formalization of JSM reasoning rules.
Similar content being viewed by others
References
Mill, J.S., 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.
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 pancreatits, Sci. Tech. Inf. Process., 2016, vol. 43, nos. 5–6, pp. 315–345.
Shesternikova, O.P., Intelligent system for diabetes prediction in patients with chronic pancreatitis, Iskusstv. Intell. Prinyatie Reshenii, 2016, no. 3, pp. 62–71.
DSM-metod avtomaticheskogo porozhdeniya gipotez: Logicheskie i epistemologicheskie osnovaniya (The JSMmethod of Automatic Hypothesis Generation: Logical and Epistemological Grounds), Anshakov, O.M., Ed., Moscow: Knizhnyi dom LIBROKOM, 2009.
Finn, V.K. and Mikheenkova, M.A., Some problems of the generalized JSM-method of automatic hypothesis generation, in Semiotika i informatika (Semiotics and Informatics), Moscow: MAIK NAUKA, 1993, pp. 136–163.
Finn, V.K. and Shesternikova, O.P., On a new version of the generalized JSM-method of automated support of scientific research, Iskusstv. Intell. Prinyatie Reshenii, 2016, no. 1, pp. 57–63.
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., Distributive lattices of inductive JSM procedures, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 6, pp. 263–295.
Finn, V.K., On the class of JSM-arguments employing the isomorphism of inductive inference rules, Iskusstv. Intell. Prinyatie Reshenii, 2016, no. 3, pp. 48–61.
Finn, V.K., Epistemic foundations of the JSM method automatic hypothesis generation, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 2, pp. 96–148.
Finn, V.K., On the intellectual analysis of data, Nov. Iskusstv. Intell., 2004, no. 3, pp. 3–18.
Rosser, J.B. and Turquette, A.R., Many-Valued Logics, Amsterdam: North-Holland Publishing Company, 1958.
Handbook of Mathematical Logic, Barwise, J., Ed., Amsterdam, New York, Oxford: North-Holland Publishing Company, 1977.
Vinogradov, D.V., Formalization of plausible reasoning in the logic of predicates of the first order, Nauchno-Tekh. Inf. Ser. 2, 2000, no. 11, pp. 17–20.
Finn, V.K., Iskusstvennyi intellekt: Metodologiya, primeneniya, filosofiya (Artificial Intelligence: Methodology, Applications, and Philosophy), Moscow: KRASAND, 2011.
Grätzer, G., General Lattice Theory, Berlin: Academic–Verlag, 1978.
Finn, V.K., On the definition of empirical regularities by the JSM method for automatic hypothesis generation, Sci. Tech. Inf. Process., 2012, vol. 39, no. 5, pp. 261–267.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © V.K. Finn, O.P. Shesternikova, 2017, published in Nauchno-Tekhnicheskaya Informatsiya, Seriya 2: Informatsionnye Protsessy i Sistemy, 2017, No. 10, pp. 11–25.
About this article
Cite this article
Finn, V.K., Shesternikova, O.P. On JSM reasoning applicable to unions of factbase subsets: Part 1. Autom. Doc. Math. Linguist. 51, 220–234 (2017). https://doi.org/10.3103/S0005105517050053
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0005105517050053