Skip to main content
SpringerLink
Log in

On JSM Reasoning Applicable to Unions of Factbase Subsets: Part 2

  • Information Analysis
  • Published:
Automatic Documentation and Mathematical Linguistics Aims and scope

Abstract

In the first part of this paper (STI, Ser. 2, 2017, No. 11, pp. 11–25), we considered four types of strategies in JSM reasoning that contain predicates M σ ag (V,X,Y) to generate hypotheses with a ternary causality relations. This paper investigates quasi-axiomatic theories (QAT), whose logical means is JSM reasoning with different types of strategies and considers the semantic bases of QAT.

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. 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.

    Book  Google Scholar 

  2. 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.

    Article  Google Scholar 

  3. Shesternikova, O.P., Intelligent system for diabetes prediction in patients with chronic pancreatitis, Iskusstv. Intell. Prinyatie Reshenii, 2016, no. 3, pp. 62–71.

    Google Scholar 

  4. DSM-metod avtomaticheskogo porozhdeniya gipotez: Logicheskie i epistemologicheskie osnovaniya (The JSMmethod of Automatic Hypothesis Generation: Logical and Epistemological Foundations), Anshakov, O.M., Ed., Moscow: Knizhnyi dom LIBROKOM, 2009.

  5. Finn, V.K. and Mikheenkova, M.A., Some problems of the generalized JSM-method of automatic hypothesis generation, Semiotika Inf., 1993, vol. 33, pp. 136–163.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Article  Google Scholar 

  8. Finn, V.K., Distributive lattices of inductive JSM procedures, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 6, pp. 263–295.

    Article  Google Scholar 

  9. Finn, V.K., On the class of JSM-reasoning employing the isomorphism of inductive inference rules, Iskusstv. Intell. Prinyatie Reshenii, 2016, no. 3, pp. 48–61.

    Google Scholar 

  10. Finn, V.K., Epistemic foundations of the JSM method automatic hypothesis generation, Autom. Doc. Math. Linguist., 2014, vol. 48, no. 2, pp. 96–148.

    Article  Google Scholar 

  11. Finn, V.K., On the intelligent analysis of data, Nov. Iskusstv. Intell., 2004, no. 3, pp. 3–18.

    Google Scholar 

  12. Rosser, J.B. and Turquette, A.R., Many-Valued Logics, Amsterdam: North-Holland Publishing Company, 1958.

    MATH  Google Scholar 

  13. Handbook of Mathematical Logic, Barwise, J., Ed., Amsterdam, New York, Oxford: North–Holland Publishing Company, 1977.

  14. 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.

    Google Scholar 

  15. Finn, V.K., Iskusstvennyi intellekt: Metodologiya, primeneniya, filosofiya (Artificial Intelligence: Methodology, Applications, and Philosophy), Moscow: KRASAND, 2011.

    Google Scholar 

  16. Grätzer, G., General Lattice Theory, Berlin: Academic–Verlag, 1978.

    Book  MATH  Google Scholar 

  17. 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.

    Article  Google Scholar 

  18. Finn, V.K. and Shesternikova, O.P., On JSM reasoning applicable to unions of factbase subsets: Part 1, Autom. Doc. Math. Linguist., 2017, vol. 51, no. 5, pp. 220–234.

    Article  Google Scholar 

  19. 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.

    Article  Google Scholar 

  20. Agafonov, M.A., Shesternikova, O.P., Vinokurova, L.V., Pankratova, E.S., and Finn, V.K., On principles and logical means implemented in the intelligent system for gastroenterology, Nauchno-Tekh. Inf., Ser. 2, 2017, no. 3, pp. 16–39.

    Google Scholar 

  21. Finn, V.K., Inductive method o joint agreement–difference: Procedural semantics of the JSM method, Autom. Doc. Math. Linguist., 2010, vol. 44, no. 2, pp. 66–88.

    Article  Google Scholar 

  22. Mal’tsev, A.I., Algebraicheskie sistemy (Algebraic Systems), Moscow: Nauka, 1970.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Federal Research Center Computer Science and Control Russian Academy of Sciences, Moscow, Russia

    V. K. Finn & O. P. Shesternikova

  2. Progtech Ltd., Moscow, Russia

    O. P. Shesternikova

Authors
  1. V. K. Finn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. O. P. Shesternikova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to V. K. Finn.

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. 12, pp. 1–24.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Finn, V.K., Shesternikova, O.P. On JSM Reasoning Applicable to Unions of Factbase Subsets: Part 2. Autom. Doc. Math. Linguist. 51, 266–288 (2017). https://doi.org/10.3103/S0005105517060073

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation