Developing a heuristic via diagrammatic reasoning
Michael Anderson, Robert McCartney · 1995
Endowing a computer with an ability to reason with diagrams could be of great benefit.To date, research in diagrammatic reasoning has dealt with intra-diagrammatic reasoning (reasoning within a single diagram) almost to the exclusion of interdiagrammatic reasoning (reasoning with related groups of diagrams).We postulate a number of general inter-diagrammatic operators and show how such operators can be useful by developing a heuristic for a simple game with them.