The aim of the book is to advance the understanding of how humans think. It seeks to do so by putting forth a theory of human problem solving, along with a body of empirical evidence that permits assessment of the theory. Englewood Cliffs, N.J.: Prentice-Hall.

CACM 15:891-905.

Machine Intelligence 7

The research reported here concerns the principles used to automatically generate three-dimensional representations from line drawings of scenes. The computer programs involved look at scenes which consist of polyhedra and which may contain shadows and various kinds of coincidentally aligned scene features. Each generated description includes information about edge shape (convex, concave, occluding, shadow, etc.), about the type of illumination for each region (illuminated, projected shadow, or oriented away from the light source), and about the spacial orientation of regions. The methods used are based on the labeling schemes of Huffman and Clowes; this research provides a considerable extension to their work and also gives theoretical explanations to the heuristic scene analysis work of Guzman, Winston, and others. A condensed version appears in Patrick Winston (ed.), The Psychology of Computer Vision, pp. 19{91, New York: McGraw-Hill, 1975. Direct link to . MIT AI Lab Technical Report No AITR-271, November 1

In R. O. Freedle and J. B. Carroll (Eds.), Language comprehension and the acquisition of knowledge. Washington, D.C.: Winston, 41-69

Dept. of Computer Sciences and CAI Laboratory, University of Texas, Austin.

See also: Robert Kowalski. 1975. A Proof Procedure Using Connection Graphs. J. ACM 22, 4 (October 1975), 572-595.In B. Meltzer and D. Michie (Eds.), Machine intelligence 7. New York: Wiley, 167-194

Machine Intelligence 7

Cognitive Psychology 3:552-631.