Qualitative reasoning about physical systems
Qualitative reasoning about physical systems
Unified theories of cognition
The Architecture of Cognition
Am: an artificial intelligence approach to discovery in mathematics as heuristic search.
Am: an artificial intelligence approach to discovery in mathematics as heuristic search.
Empirical explorations of the geometry theorem machine
IRE-AIEE-ACM '60 (Western) Papers presented at the May 3-5, 1960, western joint IRE-AIEE-ACM computer conference
BAC0N.5: the discovery of conservation laws
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Twelve years of diagrams research
Journal of Visual Languages and Computing
| Hi-index | 0.00 |
This paper extends work that developed a programmed model of reasoning about geometric propositions. The system reasons by manipulating representations of diagrams and noticing newly emerged facts that are construed as inferences. The system has been explored as a means of verifying diagrammatic demonstrations of classical geometric propositions and for constructing diagrammatic demonstrations of conclusions supplied for the system. The process of discovering propositions to be demonstrated is a more difficult task. This paper argues that central to the discovery process is systematic manipulation of diagrams - playing - and observing consistent relations among features of the diagram as manipulations are made and observed. The play results in the creation of an "episode" of diagram behaviors which is examined for regularities from which a general proposition might be proposed. The paper illustrates this process and discusses the advantages and limitations of this system and of other computational models of diagrammatic reasoning.