Abstract—
This article defines the set of inference rules for JSM reasoning. Hypotheses concerning the causes generated by these rules form empirical regularities (ERs). Many types of ER (the intension of the concept of ERs) form a lattice. Types of ERs can be represented by trees of a special type.
This is a preview of subscription content, log in via an institution to check access.
Notes
n can be considered as a statement of the degree of plausibility: the smaller n is, the greater the degree of plausibility.
If the effect under study is not a singleton (singular), the truth values are \(\bar {v} = \left\langle {v,n} \right\rangle \), where n ≥ 2 and v = 1, –1, 0, because they are generated by the integration of plausible inference rules [5].
The symbol ⇌ means equality by definition.
For the sake of simplicity, we omit the upper index σ, where σ = +, –.
In this regard, it is worth mentioning [12], which discusses data mining and knowledge discovery.
The JSM method of ARS uses double openness: open data and open procedures, which is expressed by the principle: open data are more important than big data.
The operationalization of the definition of Mσ - and Pσ -predicates of the JSM-method of the ARS also corresponds to the non-Aristotelian structure of concepts [7].
When defining the JSM operator \({{\bar {O}}_{{x,y}}}(\Omega )\), replace \(\Omega \) with \(D_{1}^{h}(p)\).
Replace the previously used symbol \(\Delta \) with \(D_{2}^{h}(p)\).
Suffice it to consider v instead of \(\bar {v}\).
For the sake of brevity, we will use instead of the term empirical prelaw its abbreviation—EPLC.
For the sake of brevity, we will speak of the empirical prelaw\(A_{1}^{ + }\), omitting the word hypothesis.
The diagram in Figure 2 represents both FTE \(A_{\alpha }^{ + }\), and FTE \(A_{\alpha }^{ - }\), where 1 ≤ α ≤ 6.
For the sake of simplicity, we omit the upper index σ in \(A_{\chi }^{\sigma }\).
The labels ∃ and∀ are omitted for the sake of simplicity in the representation of the tree T*.
REFERENCES
Finn, V.K., On the heuristics of JSM research (additions to articles), Autom. Doc. Math. Linguist., 2019, vol. 53, no. 5, pp. 250–282. https://doi.org/10.3103/s0005105519050078
Finn, V.K., Exact epistemology and artificial intelligence, Autom. Doc. Math. Linguist., 2020, vol. 54, no. 3, pp. 140–173. https://doi.org/10.3103/s0005105520030073
Finn, V.K., JSM reasoning and knowledge discovery: Ampliative reasoning, causality recognition, and three kinds of completeness, Autom. Doc. Math. Linguist., 2022, vol. 56, no. 2, pp. 79–110. https://doi.org/10.3103/s0005105522020066
Fuchs, L., Partialy Ordered Algebraic Systems, Oxford: Pergamon Press, 1963.
Finn, V.K., Distributive lattices of inductive JSM procedures, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 6, pp. 265–295. https://doi.org/10.3103/s0005105514060028
Finn, V.K., On the class of JSM reasoning that uses the isomorphism of inductive inference rules, Sci. Tech. Inf. Process., 2017, vol. 44, no. 6, pp. 387–396. https://doi.org/10.3103/s0147688217060041
Finn, V.K., On the non-Aristotelian concept structure, Logicheskie issledovaniya, 2015, vol. 21, no. 1, pp. 9–48. https://doi.org/10.21146/2074-1472-2015-21-1-9-48
Rosser, J.B. and Furquette, A.R., Many-Valued Logics, Amsterdam: North-Holland Publishing Company, 1958.
Bochvar, D.A., On a three-valued logical calculus and its application to the analysis of contradictions, Matematicheskii Sb., 1938, vol. 4, no. 2, pp. 287–308.
Fann, K.T., Peirce’s Theory of Abduction, The Hague: Springer, 1970. https://doi.org/10.1007/978-94-010-3163-9
Herschel, J.F.W., Preliminary Discourse on the Study of Natural Philosophy, London: Longman, Brown, Green & Longmans, 1851. https://doi.org/10.5962/bhl.title.19835
Fayyad, U.M., Piatetsky-Shapiro, G., Smyth, P., and Uthurusamy, R., Advances in Knowledge Discovery and Data Mining, Cambridge, Mass.: The AAAI Press, 1996.
Birkhoff, G., Lattice Theory, Providence, Rhode Island: 1967.
Grätzer, G., General Lattice Theory, Lehrbücher und Monographien aus dem Gebiete der exakten Wissenschaften, vol. 52, Basel: Birkhäuser, 1978. https://doi.org/10.1007/978-3-0348-7633-9
Grätzer, G., Lattice Theory, San Francisco: W.H. Freeman and Company, 1971.
Abrikosov, A.A., Akademik L.D. Landau (Academician L.D. Landau), Moscow: Nauka, 1965.
Bridgman, P.W., The nature of some of our physical concepts: I, Br. J. Philos. Sci., 1951, vol. 1, no. 4, pp. 257–272. https://doi.org/10.1093/bjps/i.4.257
Smullyan, R.M., First-Order Logic, Ergebnisse der Mathematik und Ihrer Grenzgebiete. 2. Folge, vol. 43, New York: Springer, 1968. https://doi.org/10.1007/978-3-642-86718-7
Anshakov, O.M., Skvortsov, D.P., and Finn, V.K., On the deductive imitation of some variants of the JSM method of automatic hypothesis generation, 2009, pp. 240–286.
Finn, V.K., Standard and nonstandard logics of reasoning, Iskusstvennyi intellekt. Metodologiya, primenenie, filosofiya (Artificial Intelligence: Methodology, Application, and Philosophy), Moscow: Lenand, 2021, pp. 337–363.
Finn, V.K., Neologicism: Philosophy of substantiated knowledge, Intellekt, informatsionnoe obshchestvo, gumanitarnoe znanie i obrazovanie (Intelligence, Information Society, Humanitarian Knowledge and Education), Moscow: Lenand, 2023, pp. 128–141.
Funding
This work was supported by ongoing institutional funding. No additional grants to carry out or direct this particular research were obtained.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The author of this work declares that he has no conflicts of interest.
Additional information
Translated by V. Tereshchenko
Publisher’s Note.
Allerton Press remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Finn, V.K. On Empirical Regularities in the JSM Method of Automated Research Support. Autom. Doc. Math. Linguist. 57, 362–381 (2023). https://doi.org/10.3103/S0005105523060055
Received:
Published:
Issue Date:
DOI: https://doi.org/10.3103/S0005105523060055