On the Class of JSM Reasoning That Uses the Isomorphism of Inductive Inference Rules
Tóm tắt
Từ khóa
Tài liệu tham khảo
Finn, V.K., Epistemological foundation 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, no. 11, pp. 1–30.
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, Son and Bowin, 1843.
Rosser, J.B. and Turquette, A.R., Many-Valued Logics, Amsterdam: North-Holland Publishing Company, 1958.
Finn, V.K. and Shesternikova, O.P., About a new version of the generalized JSM method of automated support of scientific research, Iskusstv. Intell. Prinyatie Reshenii, 2016, no. 1, pp. 57–63.
Arieli, O. and Avron, A., Reasoning with logical bilattices, J. Logic Lang. Inf., 1996, vol. 5, pp. 25–63.
Finn, V.K., Detecting empirical regularities in bases of facts using JSM reasoning, Autom. Doc. Math. Linguist., 2015, vol. 49, no. 4, pp. 122–151.
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, nos. 5–6, pp. 315–345.
Avtomaticheskoe porozhdenie gipotez: Logicheskie i epistemologicheskie osnovaniya (Automatic Generation of Hypotheses: Logical and Epistemological Grounds), Anshakov, O.M, Ed., Moscow: Knizhnyi dom LIBROKOM, 2009.