Automatic Concept Formation in Pure Mathematics

Colton, Simon; Bundy, Alan; Walsh, Toby

Automatic Concept Formation in Pure Mathematics

Download BibTeX Cite

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Machine Learning. Pages 786-792.

Abstract

The HR program forms concepts and makes conjectures in domains of pure mathematics and uses theorem prover OTTER and model generator MACE to prove or disprove the conjectures. HR measures properties of concepts and assesses the theorems and proofs involving them to estimate the interestingness of each concept and employ a b es t first search. This approach has led HR to the discovery of interesting new mathematics and enables it to build theories from just the axioms of finite algebras.

Simon Colton, Alan Bundy, and Toby Walsh. 1999. Automatic Concept Formation in Pure Mathematics. In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99. IJCAI, 786–792. https://ijcai.org/proceedings/1999/112

@inproceedings{ijcai1999p112,
  title     = {Automatic Concept Formation in Pure Mathematics},
  author    = {Colton, Simon and Bundy, Alan and Walsh, Toby},
  booktitle = {Proceedings of the Sixteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-99}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Thomas Dean},
  pages     = {786--792},
  year      = {1999},
  note      = {Machine Learning},
  url       = {https://ijcai.org/proceedings/1999/112},
}

TY  - CPAPER
TI  - Automatic Concept Formation in Pure Mathematics
AU  - Colton, Simon
AU  - Bundy, Alan
AU  - Walsh, Toby
T2  - Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1999
SP  - 786
EP  - 792
UR  - https://ijcai.org/proceedings/1999/112
ER  -