Geometry Program
Program works backward from geometric theorems, searching for proofs by means-end analysis. It breaks down problems using a hierarchy of goals and subgoals and uses heuristics to select the most promising search paths and avoid impossible paths.

107


H. Gelernter, 1963.

Immediately related elementsHow this works
-
Artificial Intelligence »Artificial Intelligence
Can computers think? [1] »Can computers think? [1]
No: computers can't be creative »No: computers can't be creative
Computers have already been creative »Computers have already been creative
Examples of creative computer models »Examples of creative computer models
Geometry Program
+Komentarai (0)
+Citavimą (0)
+About