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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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.
Bledsoe, W. W. (1977) Non-Resolution Theorem Proving. Artificial Intelligence 9 (1): 1–35.
Feigenbaum, E. A., and McCorduck, P. (1983) The Fifth Generation: Artificial Intelligence and Japan’s Computer Challenge to the World. Menlo Park: Addison-Wesley.
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.
Heisenberg, W. (1962) Physics and Philosophy: The Revolution in Modern Science. New York: Harper & Row.
Lakatos, I. (1976) Proofs and Refutations: The Logic of Mathematical Discovery. London: Cambridge University Press.
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.
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.
Miller, G. A., Galanter, E., and Pribram, K. H. (1970) Plans and the Structure of Behavior. London: Holt, Rinehart and Winston.
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.
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.
Ohlbach, H. J. (1982) The Markgraf Karl Refutation Procedure: The Logic Engine. Interner Bericht 24/82, University of Karlsruhe, West Germany.
Piaget, J. (1975) L’équilibration des structures cognitives: Problème central du développement. Paris: Presses Universitaires de France.
Simon, H. A., and Newell, A. (1978) Informationsverarbeitung und Problem- lösen. In: Steiner, G. (ed.), Piaget und die Folgen. Zürich: Kindler.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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