Department of
Computer Science
695 Park Ave.
NY, NY 10021

Susan L. Epstein

The CUNY Graduate School, Department of Computer Science and

 Hunter College, Department of Computer Science

     Home 

     Publications 

     Collaborators 

     Courses 

     Media Appearances 

     Contact

Graph Theory

The Graph Theorist (GT) was a successful, implemented system that did original mathematical research in graph theory. It represented knowledge of mathematical concepts with declarative expressions, each of which had a semantic interpretation as a stylized, recursive algorithm that defined a class by generating it correctly and completely. GT generated correct examples, defined and explored new graph theory properties, and conjectured and proved theorems.

Key references

Epstein, S. L. and Sridharan, N. S. (1991). Knowledge Representation for Mathematical Discovery - Three Experiments in Graph Theory. Applied Intelligence, 1 (1): 7-33.

Epstein, S. L. (1988). Learning and Discovery: One System's Search for Mathematical Knowledge. Computational Intelligence , 4 (1): 42-53.

Epstein, S. L. (1983). Knowledge Representation in Mathematics: A Case Study in Graph Theory. Ph.D. thesis, Department of Computer Science, Rutgers University.

Additional references

Epstein, S. L. (1988). On the Discovery of Mathematical Concepts. International Journal of Intelligent Systems, 3 (2): 167-178.

Epstein, S. L. (1987). Languages for Problem Solving in Graph Theory. In J. C. Boudreaux, B. W. Hamill, & R. N. Jernigan (Ed.), The Role of Language in Problem Solving 2 (pp. 261-300). New York: North-Holland.

Epstein, S. L. (1987). On the Discovery of Mathematical Theorems. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, 194-197. Milan: Morgan Kaufmann.

This material is based upon work supported by the National Science Foundation under Grant Nos. 9423085, #IRI-9703475, 9222720, and #9001936, by the New York State Technological Development Graduate Research and Technology Initiative, and by the PSC-CUNY Research Foundation.

Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation, New York State, or PSC-CUNY.

[top of the page]