This symposium was very successful and was perhaps the most unusual of the spring symposia this year. It brought together for the first time distinguished researchers from many diverse disciplines to discuss and share results on a particular topic of mutual interest. The disciplines included machine learning, computational learning theory, computer vision, pattern recognition, perceptual psychology, statistics, information theory, theoretical computer science, and molecular biology, with the involvement of the latter group having lead to a joint session with the AI and Molecular Biology symposium.

Hypothesis Formation and Qualitative Reasoning in Molecular Biology

This article begins with an elaboration of models of design as a process. It then introduces and describes a knowledge representation schema for design called design prototypes. This schema supports the initiation and continuation of the act of designing. Design prototypes are shown to provide a suitable framework to distinguish routine, innovative, and creative design.

Models of design processes provide guidance in the development of knowledge-based systems for design. The basis for such models comes from research in design theory and methodology as well as problem solving in AI. Three models are presented: decomposition, case-based reasoning, and transformation. Each model provides a formalism for representing design knowledge and experience in distinct and complementary forms.

After explicating the need for a large commonsense knowledge base spanning human consensus knowledge, we report on many of the lessons learned over the first five years of attempting its construction. We have come a long way in terms of methodology, representation language, techniques for efficient inferencing, the ontology of the knowledge base, and the environment and infrastructure in which the knowledge base is being built. We describe the evolution of Cyc and its current state and close with a look at our plans and expectations for the coming five years, including an argument for how and why the project might conclude at the end of this time.

The Association for the Advancement of Artificial Intelligence held its 1990 Spring Symposium Series on March 27-29 at Stanford University, Stanford, California. This article contains a short summary of seven of the nine symposia that were conducted: AI and Molecular Biology, AI in Medicine, Automated Abduction, Case Based Reasoning, and Knowledge-Based Environments for Teaching and Learning.

Automated knowledge-acquisition systems have focused on embedding a cognitive model of a key knowledge worker in their software that allows the system to acquire a knowledge base by interviewing domain experts just as the knowledge worker would. Two sets of research questions arise: (1) What theories, strategies, and approaches will let the modeling process be facilitated; accelerated; and, possibly, automated? If automated knowledge-acquisition systems reduce the bottleneck associated with acquiring knowledge bases, how can the bottleneck of building the automated knowledge-acquisition system itself be broken? How can an automated system critique and influence such biases in a positive fashion, what common patterns exist across applications, and can models of influencing behavior be described and standardized?

"Building Large Knowledge-Based Systems (Addison-Wesley, Reading, Massachusetts, 1990, 372 pages, $39.75, ISBN 0-201-51752-3) by Douglas B. Lenat and R. V. Guha is an interim report on the Microelectronic and Computer Technology Corpporation (MCC) Cyc project.

Arthur Samuel (1901-1990) was a pioneer of artificial intelligence research. From 1949 through the late 1960s, he did the best work in making computers learn from their expe-rience. His vehicle for this work was the game of checkers.

The second workshop in two years on the integration of knowledge-based systems with conventional computer techniques in agriculture and natural resource management (NRM) was held 18-19 August 1989 in Detroit, Michigan, in conjunction with the Tenth International Joint Conference on Artificial Intelligence. The workshop drew scientists from the United States and Canada, working in disciplines from engineering to entomology in universities, government, and industry. Twenty-two papers were presented at the workshop, after which participants were asked to discuss several key questions about the development, delivery, and use of knowledge-based systems in solving problems in agriculture and NRM.