Abstract
Our first major decision was to implement HR in Sicstus Prolog, due to the rapid prototyping this programming language affords. Before describing the other implementation details, we highlight our major decisions regarding how HR will form theories. These have been taken in light of our original motivations, our survey of previous work and our study of mathematical theories. In §4.1, we discuss the aspects of theory formation which are and are not present in our model. We then focus on the three areas where most decisions have been made. Our proposed approach to concept formation and conjecture making is presented in §4.2. In §4.3 we determine the domains HR will work in and in §4.4 we discuss our choices for representing mathematical knowledge. Finally, in §4.5, we give an overview of how HR forms theories.
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). Design Considerations. In: Automated Theory Formation in Pure Mathematics. Distinguished Dissertations. Springer, London. https://doi.org/10.1007/978-1-4471-0147-5_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0147-5_4
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1113-9
Online ISBN: 978-1-4471-0147-5
eBook Packages: Springer Book Archive