The AAAI President's address (the pervious article by Nils Nilsson) presents an eloquent argument for a particular AI paradigm that may be summarized by what Nils calls the "propositional doctrine:" AI is the study of how to acquire and represent knowledge within a logic-like propositional formalism, and the study of how to manipulate this knowledge by use of logical operations and the rule of inference. Although we concur with many of Nil's other assertions, this propositional doctrine seems far to extreme: a lot of interesting and important AI research is done outside of the logic-and theorem- proving paradigm. Indeed, the view that other lines of inquiry serve only to produce tools that may be procedurally attached to an AI (logic-and-theorem-proving ) architecture seems a kind of Logic Imperialism to those of us they wish to relegate to working in the procedure factories. this dismissal of other avenues of research as "not really AI" would normally be cause only for knowing shake of the head and a small chuckle, but when such views are promulgated by the President of the AAAI it is time to take up arms against the logic-and-theorem-proving set -- there is a danger that someone might actually take them seriously! This paper, therefore, constitutes an initial salvo over(into?) their bow. We will focus on two central questions in this rebuttal: What is an appropriate research paradigm for AI? What role should logic-like formal languages and deduction play in the study of AI?

Pierre Bierre Project's proclaimed goals is one vitally important in Clairvoyant Systems a 1990's knowledge-intensive society.....the ability to help A decade from now, the nation will be crisscrossed with fiberoptic bundles capable of simultaneously carrying thousands of hiresolution video conversations, and solid-state video cameras will be as abundant as microphone pickup devices are today. Dear Editor: In short, the voice-telephone and printed-page information One of the sections I most look forward to in each new networks over which we communicate will be joined by 2-issue of the AI Magazine is the one entitled "Research in way, super-narrowcast video, where each knowledge worker Progress." I like to see informative overviews of the research both receives product from myriad sources ad reshapes and being conducted in different AI centers. I am sure there is some justification and teaching. Already, one can "walk through" for this concentration, but I am inclined to believe there are ' homes for sale thousands of miles away, learn how to assemble, other institutions that have, unfortunately, remained relatively operate and fix complex machinery, drive around What makes video I am concerned about this situation for one major reason.

The Stanford Artificial Intelligence Project, later known as the Stanford AI Lab or SAIL, was created by Prof. John McCarthy shortly after his arrival at Stanford on 1962. As a faculty member in the Computer Science Division of the Mathematics Department, McCarthy began supervising research in artificial intelligence and timesharing systems with a few students. From this small start, McCarthy built a large and active research organization involving many other faculty and research projects as well as his own. There is no single theme to the SAIL memos. They cannot be easily categorized because they show a diversity of interests, resulting from the diversity of investigators and projects. Nevertheless, there are some important dimensions to the research that took place in the AI Lab that will try to put in historical context in this brief introduction.

Research in artificial intelligence at the University of Texas at Austin is diverse. It is spread across many departments(Computer Science, Mathematics, the Institute for Computer Science and Computer Applications, and the Linguistics Research Center) and it covers most of the major subareas with AI (natural language, theorem proving, knowledge representation, languages for AI, and applications). Related work is also being done in several other departments, including EE (low-level vision), Psychology, Linguistics, and the Center for Cognitive Science.

AI NEEDS MORE EMF'HASIS ON BASIC RESEARCH Too few people are doing basic research in AT rela-language processing seems misguided to me. There is too tive to the number working on applications The ratio of much emphasis on syntax and not enough on the semantics. This is unfortunate, between existing AI formalisms and English miss the point. Even the applied goals press in English what we already know how to express in proposed by various groups in the U.S., Europe and Japan computerese. Rather we must study those ideas expressible for the next ten years are not just engineering extrapolations in natural language that no-one knows how to represent at from the present state of science.

AI research at JPL started in 1972 when design and construction of experimental "Mars Rover" began. Early in that effort, it was recognized that rover planning capabilities were inadequate. Research in planning was begun in 1975, and work on a succession of AI expert systems of steadily increasing power has continued to the present. Within the group, we have concentrated our efforts on expert systems, although work on vision and robotics has continued in a separate organizations, with which we have maintained informal contacts. The thrust of our work has been to build expert systems that can be applied in a real-world environment, and to actually put our systems into such environments, taking a consultative responsibility for meeting user requirements. Several supportive tools for AI are also being built. The current computational environment includes a large main-frame as well as high-performance personal LISP machines. A separate group has been engaged in the design of an intelligent work station with advanced graphic displays intended to interface with AI systems.

While some proposals for supercomputers increase the powers of existing machines like CDC and Cray supercomputers, others suggest radical changes of architecture to speed up non-traditional operations such as logical inference in PROLOG, recognition/ action in production systems, or message passing. We examine the case of parallel PROLOG to identify several related computations which subsume those of parallel PROLOG, but which have much wider interest, and which may have roughly the same difficulty of mechanization. Similar considerations apply to some other proposed architectures as well, raising the possibility that current efforts may be limiting their aims unnecessarily.

Since the 1970's AI research has become very active in China and certain results have been achieved. This paper is intended to review briefly what was and is going on in AI field in China.

Review of "The Fifth Generation

Early this year fifty people took an experimental course at Xerox PARC on knowledge programming in Loops. During the course, they extended and debugged small knowledge systems in a simulated economics domain called Truckin. Everyone learned how to use the environment Loops, formulated the knowledge for their own program, and represented it in Loops. The punchline to this story is that almost everyone learned enough about Loops to complete a small knowledge system in only three days.