Developments in an expert system for graph theory investigation
Marc J. Lipman, Robert L. Sedlmeyer · 1986
Grapple is a system which automates the construction of graphs and the computation of graphical properties.It is part of a larger project whose end product will be a graph theoretic expert system.Four tasks will be supported: graph construction, graphical property definition and computation, conjecture analysis, and conjecture formulation.We describe the current status of Grapple, present a typical session, and discuss requirements for automating the more creative aspects of graph theory investigation.