Skip to main content
SpringerLink
Log in
SpringerLink
Log in

The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence

  • Conference paper
Österreichische Artificial Intelligence-Tagung

Part of the book series: Informatik-Fachberichte ((2252,volume 106))

  • 30 Accesses

Abstract

This paper explores the evolution of higher mathematics. It presents a formal holistic theory of knowledge acquisition and cognitive development. The theory is illustrated by detailed examples. I describe the automatic analysis of mathematical proofs and the automatic discovery of heuristic proof strategies. These processes produce perception mechanisms, concepts and operators. I demonstrate the efficiency of the heuristic strategies by applying them to various theorem-proving tasks, e.g., SAM’s Lemma. My investigation suggests several important hypotheses on the architecture of cognition. They are concerned with concept formation, the basis of cognitive structures and the discovery of new knowledge. The most important result of this work is the discovery of a holistic logic which creates structures but whose kernel and whose activity are formless.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Antoniou, G., and Ohlbach, H. J. (1983) TERMINATOR. Proc. of the Eighth International Joint Conference on Artificial Intelligence, Karlsruhe, West Germany, 916–919.

    Google Scholar 

  • Bledsoe, W. W. (1977) Non-Resolution Theorem Proving. Artificial Intelligence 9 (1): 1–35.

    Article  MathSciNet  MATH  Google Scholar 

  • Feigenbaum, E. A., and McCorduck, P. (1983) The Fifth Generation: Artificial Intelligence and Japan’s Computer Challenge to the World. Menlo Park: Addison-Wesley.

    Google Scholar 

  • Guard, J. R., Oglesby, F. C., Bennett, J. H., and Settle, L. G. (1969) Semi-Automated Mathematics. Journal of the ACM 16(1): 49–62.

    Article  MATH  Google Scholar 

  • Heisenberg, W. (1962) Physics and Philosophy: The Revolution in Modern Science. New York: Harper & Row.

    Google Scholar 

  • Lakatos, I. (1976) Proofs and Refutations: The Logic of Mathematical Discovery. London: Cambridge University Press.

    MATH  Google Scholar 

  • Lenat, D. B. (1982) AM: Discovery in Mathematics as Heuristic Search. In: Davis, R., and Lenat, D. B. (eds.), Knowledge-Based Systems in Artificial Intelligence. New York: McGraw-Hill.

    Google Scholar 

  • McCharen, J. D., Overbeek, R. A., and Wos, L. A. (1976) Problems and Experiments for and with Automated Theorem-Proving Programs. IEEE Transactions on Computers C-25(8): 773–782.

    Google Scholar 

  • Miller, G. A., Galanter, E., and Pribram, K. H. (1970) Plans and the Structure of Behavior. London: Holt, Rinehart and Winston.

    Google Scholar 

  • Minton, S. (1984) Constraint-Based Generalization: Learning Game-Playing Plans From Single Examples. Proc. of the National Conference on Artificial Intelligence, Austin, Texas, 251–254.

    Google Scholar 

  • Mitchell, T. M., Utgoff, P. E., and Banerji, R. (1983) Learning by Experimentation: Acquiring and Refining Problem-Solving Heuristics. In: Michalski, R. S., Carbonell, J. G., and Mitchell, T. M. (eds.), Machine Learning: n Artificial Intelligence Approach. Palo Alto: Tioga.

    Google Scholar 

  • Ohlbach, H. J. (1982) The Markgraf Karl Refutation Procedure: The Logic Engine. Interner Bericht 24/82, University of Karlsruhe, West Germany.

    Google Scholar 

  • Piaget, J. (1975) L’équilibration des structures cognitives: Problème central du développement. Paris: Presses Universitaires de France.

    Google Scholar 

  • Simon, H. A., and Newell, A. (1978) Informationsverarbeitung und Problem- lösen. In: Steiner, G. (ed.), Piaget und die Folgen. Zürich: Kindler.

    Google Scholar 

  • Waltz, D., Genesereth, M., Hart, P., Hendrix, G., Joshi, A., McDermott, J., Mitchell, T., Nilsson, N., Wilenski, R., and Woods, W. (1983) Artificial Intelligence: An Assessment of the State-of-the-Art and Recommendation for Future Directions. AI Magazine 4 (3): 55–67.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Hamburg, Fibigerstr. 163, 2000, Hamburg 62, F.R. Germany

    Kurt Ammon

Authors
  1. Kurt Ammon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Medizinische Kybernetik und Artificial Intelligence, Universität Wien, Freyung 6, A-1010, Wien, Österreich

    Harald Trost

  2. Siemens AG Österreich, Göllnergasse 15, A-1030, Wien, Österreich

    Johannes Retti

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ammon, K. (1985). The Automatic Discovery of Concepts by Induction and Feedback: Towards a Theory of Intelligence. In: Trost, H., Retti, J. (eds) Österreichische Artificial Intelligence-Tagung. Informatik-Fachberichte, vol 106. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46552-9_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-46552-9_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15695-6

  • Online ISBN: 978-3-642-46552-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation