Births are always interesting affairs. According to some, births are always traumatic — a shock to come from the womb to the new world. The birth we give witness to here is that of a new society, the American Association for Artificial Intelligence — AAAI. It has not seemed to me traumatic, but rather almost wholly benign. In a world where not much is benign at the moment, such an event is devoutly to be cherished. The proper topic for this initial message is talk about beginnings and circumstances, goals and aims, character and style. My premier duty as president of AAAI, it appears, will be to give a presidential address at the upcoming annual meeting. Specific precedents being absent, I need to give thought to what belongs in an AAAI presidential address. But one thing I already know: That talk should be devoted to our science, not our society. It should be substantive , not procedural. It should look inward at the state of what we know about intelligence and computers, not outward at our place in the larger society. It is in this message that earthly matters belong.

Over the past two years we have started a program of On the theoretical side, Professor Randall Davis has research into the development of VLSI systems. They have introduced a descriptive formalism called OMEGA, which contributes to many of the issues of Traditional automated synthesis techniques for circuit current concern in knowlege representation, and they have design are restricted to small classes of circuit functions for applied it to describe the various structured entities such as which mathematical methods exist. Sussman and his group have developed computer-aided design tools that can be of much broader assistance. Guy L. Steele developed a language to support such programming, Johan de Kleer studied causal and Professor Marvin Minsky has worked on a theory of human teleological reasoning in the recognition of circuit function thinking, which likens the mind to a society of agents and from schematics, and Howie Shrobe has worked on constraint attempts to combine a number of insights from satisfaction and the development of an interactive knowledgebased psychoanalytic, developmental, and cognitive theories of system for substantially supporting VLSI design. Further work by Richard Greenblatt and Dr. Lucia Doyle has studied belief revision via truth maintenance and Vaina develops the idea of thread memory.

The Heuristic Programming Project of the Stanford University Computer Science Department is a laboratory of about fifty people whose main goals are to model the nature of scientific reasoning processes in various types of scientific problems and various areas of science and medicine; and to construct expert systems — programs that achieve high levels of performance on tasks that normally require significant human expertise for their solution.

Englewood Cliffs, N.J.: Prentice-Hall

ACM Computing Survey 12:213-253

A classic introduction to artificial intelligence intended to bridge the gap between theory and practice, Principles of Artificial Intelligence describes fundamental AI ideas that underlie applications such as natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, and intelligent data retrieval. Rather than focusing on the subject matter of the applications, the book is organized around general computational concepts involving the kinds of data structures used, the types of operations performed on the data structures, and the properties of the control strategies used. Palo Alto, California: Tioga.

"In the fall of 1978 we decided to produce a special issue of the SIGART Newsletter devoted to a survey of current knowledge representation research. We felt that there were twe useful functions such an issue could serve. First, we hoped to elicit a clear picture of how people working in this subdiscipline understand knowledge representation research, to illuminate the issues on which current research is focused, and to catalogue what approaches and techniques are currently being developed. Second -- and this is why we envisaged the issue as a survey of many different groups and projects -- we wanted to provide a document that would enable the reader to acquire at least an approximate sense of how each of the many different research endeavours around the world fit into the field as a whole. It would of course be impossible to produce a final or definitive document accomplishing these goals: rather, we hoped that this survey could initiate a continuing dialogue on issues in representation, a project for which this newsletter seems the ideal forum. It has been many months since our original decision was made, but we are finally able to present the results of that survey. Perhaps more than anything else, it has emerged as a testament to an astounding range and variety of opinions held by many different people in many different places. The following few pages are intended as an introduction to the survey as a whole, and to this issue of the newsletter. We will briefly summarize the form that the survey took, discuss the strategies we followed in analyzing and tabulating responses, briefly review the overall sense we received from the answers that were submitted, and discuss various criticisms which were submitted along with the responses. The remainder of the volume has been designed to be roughly self-explanatory at each point, so that one may dip into it at different places at will. Certain conventions, however, particularly regarding indexing and tabulating, will also be explained in the remainder of this introduction." ACM SIGART Newsletter No. 70.

"Circumscription is a rule of conjecture that can be used by a person or program for `jumping to certain conclusions'. Namely, the objects that can be shown to have a certain property P by reasoning from certain facts A are all the objects that satisfy P. More generally, circumscription can be used to conjecture that the tuples that can be shown to satisfy a relation P(x, y, z) are all the tuples satisfying this relation. Thus we circumscribe the set of relevant tuples."Artificial Intelligence 13:27-39. Also in Readings in Artificial Intelligence, B.L. Webber and N.J. Nilsson (eds.), Tioga Publishing, 1981.

Proc. Canadian Soc. for Computational Studies of Intelligence, Univ. Victoria, Victoria, BC (1980)

Earlier version in IJCAI 6 (1979). Artificial Intelligence, 14 (2), 165-203.