Skip to main content
SpringerLink
Log in

The correctness of the JSM reasonings for uniform strategies

  • Published:
Automatic Documentation and Mathematical Linguistics Aims and scope

Abstract

A definition of the correctness of JSM reasonings for different methods and strategies is considered. It is shown that the extension lattice of methods with the relation of order by embedding sets of hypotheses induces an isomorphic lattice of uniform strategies in which the relation of order is conditioned by following the total correctness for one strategy from another.

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

    Article  MathSciNet  Google Scholar 

  2. Arskii, Yu.M. and Finn, V.K., Principles for design of intelligent systems, Inform. Tekhn. Vychisl. Sist., 2008, no. 4, pp. 4–37.

    Google Scholar 

  3. Finn, V.K., Inductive methods of J.S. Mill in artificial intelligence systems. Part II, Iskusstv. Intell. Prinyat. Reshen., 2010, no. 4, pp. 14–40.

    Google Scholar 

  4. Shreider, Yu.A., Ravenstvo, skhodstvo, poryadok (Equality, Similarity, and Order), Moscow: Nauka, 1971.

    Google Scholar 

  5. Gusakova, S.M., The ratio of tolerance that characterizes the correctness of JSM-reasonings, Trudy XIII natsional’noi konferentsii po iskusstvennomu intellektu s mezhdunarodnym uchastiem — KII-2012 (Proc. 13th Nat. Conf. on Artificial Intelligence with International Participation KII-2012), Belgorod, 2012, pp. 100–107.

    Google Scholar 

  6. Gusakova, S.M. and Finn, V.K., Similarities and plausible conclusion, Izv. Akad. Nauk SSSR, Tekh. Kibern., 1987, no. 5, pp. 42–63.

    Google Scholar 

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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. All-Russian Institute of Scientific and Technical Information, Russian Academy of Sciences, ul. Usievicha 20, A-190, Moscow, 125190, Russia

    S. M. Gusakova

Authors
  1. S. M. Gusakova
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to S. M. Gusakova.

Additional information

Original Russian Text © S.M. Gusakova, 2015, published in Nauchno-Tekhnicheskaya Informatsiya, Seriya 2, 2015, No. 5, pp. 1–6.

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Gusakova, S.M. The correctness of the JSM reasonings for uniform strategies. Autom. Doc. Math. Linguist. 49, 77–82 (2015). https://doi.org/10.3103/S0005105515030024

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation