Cover Image

Automated Theory Formation in Pure Mathematics /

In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory forma...

Full description

Bibliographic Details
Main Author: Colton, Simon
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London : Imprint : Springer, 2002.
Series:Distinguished dissertations.
Subjects:
Computer science.
Artificial intelligence.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Introduction
  • Literature Survey
  • Mathematical Theories
  • Design Considerations
  • Background Knowledge
  • Inventing Concepts
  • Making Conjectures
  • Settling Conjectures
  • Assessing Concepts
  • Assessing Conjectures
  • An Evaluation of HR's Theories
  • The Application of HR to Discovery Tasks
  • Related Work
  • Further Work
  • Conclusions
  • Appendix A: User Manual for HR 1.11
  • Appendix B: Example Sessions
  • Appendix C: Number Theory Results.