Abstract
There are many new directions in which we could take this project, and indeed many directions which we have taken that have not been reported in this book. In this chapter, we first briefly describe additional work which could improve HR’s current functionality by enhancing it with new abilities. Following this, we discuss areas to which theory formation could be applied, namely automated conjecture making, constraint satisfaction problems, machine learning and automated theorem proving. We also explore some broader theoretical developments we could pursue to further investigate automated theory formation. Funded by EPSRC grants GR/M98012 [Colton et al. 99a] and GR/R84559/01 [McCasland et al. 02], the HR project has continued in terms of both new applications and new functionality. We conclude with some references to papers which discuss these projects.
This is a preview of subscription content, log in via an institution to check access.
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). Further Work. In: Automated Theory Formation in Pure Mathematics. Distinguished Dissertations. Springer, London. https://doi.org/10.1007/978-1-4471-0147-5_14
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0147-5_14
Publisher Name: Springer, London
Print ISBN: 978-1-4471-1113-9
Online ISBN: 978-1-4471-0147-5
eBook Packages: Springer Book Archive