Communications of the ACM, March 1976, Volume 19, Number 3
p.121 A symbol system can state and solve problems (sometimes) because it can generate and test.
p.121 Intelligence for a system with limited processing resources
consists in making wise choices of what to do next.