HR home Theory of theory formation Applications of HR HR manual Projects using HR Download HR
Hardy's Biography
Ramanujan's biography
The HR system is named after mathematicians Ramanujan (1887 - 1920) and Hardy (1877 - 1947). It was originally designed as a program to form concepts in mathematics, but has developed into a general purpose machine learning tool.

HR performs automated theory formation, which involves:

  • Inventing concepts with definitions and examples.
  • Making empirically plausible hypotheses about the concept.
  • Finding explanations in support of the hypotheses.
  • Finding counterexamples to disprover the hypotheses.
© 2002 Simon Colton