On the Discovery of Mathematical Theorems

Epstein, Susan L.

On the Discovery of Mathematical Theorems

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Acquisition. Pages 194-196.

Abstract

The Graph Theorist, GT , is a system which performs mathematical research in graph theory. This paper focuses upon GT's ability to conjecture and prove mathematical theorems from the definitions in its input knowledge base. Each class of graphs is defined in an algebraic notation with a semantic interpretation that is a stylized algorithm to generate the class correctly and completely. From a knowledge base of such concept definitions, GT is able to conjecture and prove such theorems as "The set of acyclic, connected graphs is precisely the set of trees" and "There is no odd-regular graph on an odd number of vertices." Conjecture and proof are driven both by examples (specific graphs) and by definitional form (algorithms).

Susan L. Epstein. 1987. On the Discovery of Mathematical Theorems. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 194–196. https://ijcai.org/proceedings/1987/37

@inproceedings{ijcai1987p37,
  title     = {On the Discovery of Mathematical Theorems},
  author    = {Epstein, Susan L.},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {194--196},
  year      = {1987},
  note      = {Knowledge Acquisition},
  url       = {https://ijcai.org/proceedings/1987/37},
}

TY  - CPAPER
TI  - On the Discovery of Mathematical Theorems
AU  - Epstein, Susan L.
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 194
EP  - 196
UR  - https://ijcai.org/proceedings/1987/37
ER  -