To every 3-dimensional scene there correspond as many 2-dimensional pictures as there are possible vantage points for the camera. It is, however, possible to construct pictures for which there is no corresponding scene containing physically -realizable objects. Pictures of such'impossible objects' can be useful in giving insight into the constraints or grammatical rules associated with the'language' of pictures, just as nonsense sentences can be useful in illustrating the rules of other languages. Impossible objects have been used by psychologists (Penrose and Penrose 1958) to create visual illusions which successfully challenge the ability of our perceptual systems to synthesize a 3-dimensional world from 2-dimensional information. The incompatibilities among the various portions of pictures of these objects are a novel way of testing our picture analysis procedures. The purpose of this paper is to demonstrate some possible decision procedures and to test them on pictures of both possible and impossible objects.

In this paper, we develop the algorithm, given in Plotkin (1970), for findingthe least generalization of two clauses, into a theory of inductive generalization.The types of hypothesis which can be formed are very simple. They allhave the form: (x)Px --> Qx.We have been guided by ideas from the philosophy of science, followingBuchanan (1966). There is no search for infallible methods of generatingtrue hypotheses. Instead we define (in terms of first-order predicate calculus)the notions of data and evidence for the data. Next, some formal criteria areset up for a sentence to be a descriptive hypothesis which is a good explanationof the data, given the evidence. We can then look for the best such hypothesis.Machine Intelligence 6

"In this paper we describe work on the recognition by computer of objects viewed by a TV camera. We have written a program which will recognize a range of objects including a cup, a wedge, a hammer, a pencil, and a pair of spectacles. A visual image, represented by a 64.× 64 array of light levels, is first partitioned into connected regions. These regions are chosen to have well-defined edges.Having chosen the regions, the program then computes properties of and relations between regions. Properties include shape as defined by Fourier analysis of the s–ψ equation of the bounding curve. A typical relation between regions is the degree of adjacency.Finally, the program matches the actual relational structure of the regions of the picture with ideal relational structures representing various objects, using a heuristic search procedure, and selects that object whose relational structure best matches the actual picture."In B.Meltzer and D.Michie (Eds.), Machine intelligence 6. New York: Elsevier, 377-396

In R. J. O'Brien (Ed.), Report of the twenty-second annual round table meeting on linguistics and language studies. (Monograph Series on Languages and Linguistics, No. 24.) Washington, D.C.: Georgetown University Press, 35-56.

Invited paper presented at the IEEE Systems Science and Cybernetics Conference, Miami

Machine Intelligence 6

Research Memorandum MIP-R-92. University of Edinburgh: Department of Machine Intelligence, School of Artificial Intelligence

"Heuristic DENDRAL is a computer program written to solve problems of inductive inference in organic chemistry. This paper will use the design of Heuristic DENDRAL and its performance on different problems for a discussion of the following topics: 1. the design for generality; 2. the performance problems attendant upon too much generality; 3. the coupling of expertise to the general problem solving processes; 4. the symbiotic relationship between generality and expertness, and the implications of this symbiosis for the study and design of problem solving systems. We conclude the paper with a view of the design for a general problem solver that is a variant of the "big switch" theory of generality."See also: Stanford University Report (ACM Citation)In Meltzer, B. and Michie, D. (Eds.), Machine Intelligence 6, pp. 165–190. Edinburgh University Press

Sociologists are concerned to predict the effect of changes on future society.But is prediction in principle possible when intelligence is involved? Ifintelligence is the production of novelty, accurate prediction might seem to bestrictly impossible. However this may be, it seems that the present troubleabout social prediction is simply that there are no adequate theoreticalmodels of societies. This means that politicians are almost powerless topredict, plan, or control, except with incredible errors. We find ourselves injust this position in trying to assess the implications of future intelligence.Machine Intelligence 6

"Problem-solving methods using some sort of heurstically guided search process have been the subject of much research in Artificial Intelligence. This paper groups these problem-solving methods under three major headings: the State-Space Approach, the Problem-Reduction Approach and the Formal-Logic Approach." New York: McGraw-Hill.