[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

The problem of induction

  • Basic Research Problems
  • Published:
Journal of Automated Reasoning Aims and scope Submit manuscript

Abstract

This article is the thirtieth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research asks for criteria for accurately determining when an induction argument is the appropriate form of argument for an automated reasoning program to employ. This research problem also asks for criteria for choosing well the property on which to conduct the induction argument.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Boyer, R., and Moore JA Computational Logic, Academic Press, New York (1979).

    Google Scholar 

  2. Boyer, R., and Moore J ‘A mechanical proof of the unsolvability of the halting problem’,Journal of the ACM 31 (1984), 441–458.

    Google Scholar 

  3. Boyer, R., and Moore J ‘Proof checking the RSA public key encryption algorithm’,American Mathematical Monthly 91 (1984), 181–189.

    Google Scholar 

  4. Boyer, R., and Moore J ‘Proof-checking, theorem-proving, and program verification’, pp. 119–132 inContemporary Mathematics, Vol. 29, Automated Theorem Proving: After 25 Years, (W. Bledsoe and D. Loveland, eds), American Mathematical Society, Providence, R.I. (1984).

    Google Scholar 

  5. McCune, W. W.,OTTER 2.0 Users Guide, Tech. report ANL-90/9, Argonne National Laboratory, Argonne, Illinois (1990).

    Google Scholar 

  6. Wos, L.,Automated Reasoning: 33 Basic Research Problems, Prentice-Hall, Englewood Cliffs, N.J. (1988).

    Google Scholar 

  7. Wos, L., Overbeek, R., Lusk, E., and Boyle, J.,Automated Reasoning: Introduction and Applications, 2nd edn., McGraw-Hill, New York (1992).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Argonne National Laboratory, 9700 South Cass Ave., 60439-4801, Argonne, IL, USA

    Larry Wos

Authors
  1. Larry Wos
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work was supported by the Office of Scientific Computing, U.S. Department of Energy, under Contract W-31-109-Eng-38.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wos, L. The problem of induction. J Autom Reasoning 11, 433–434 (1993). https://doi.org/10.1007/BF00881876

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00881876

Key words

Search

Navigation