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.

PAGE NAVIGATOR(Help)
-
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
+Commentaar (0)
+Citaten (0)
+About