Abstract
Background knowledge is important to theory formation, as it is the starting point from which the theory evolves. We discuss here what background knowledge HR is supplied with and how it is supplied. As all concepts are built from ones already in the theory, every concept is ultimately built from those supplied initially by the user. If we note that all the conjectures, theorems and proofs are based on concepts, we see that the choice of initial concepts will have a profound effect on the theories produced. While there is some scope for giving HR many initial concepts, we have so far only experimented with giving HR the fundamental concepts of a domain.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag London
About this chapter
Cite this chapter
Colton, S. (2002). Background Knowledge. In: Automated Theory Formation in Pure Mathematics. Distinguished Dissertations. Springer, London. https://doi.org/10.1007/978-1-4471-0147-5_5
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0147-5_5
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1113-9
Online ISBN: 978-1-4471-0147-5
eBook Packages: Springer Book Archive