The A.T. Nonmonotonic Workshop multisubmission paper policy by Anderson Memorial Scholarship Program The third international workshop on IJCAI was deferred until the of the American Indian Science August meeting.

The book "Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, Calif., 1987, 406 pp., $48.95) by Michael Genesereth and Nils Nilsson is about declarative knowledge.

Advances in computer hardware and software and engineering methodologies in the 1960s and 1970s led to an increased use of computers by engineers. In design, this use has been limited almost exclusively to algorithmic solutions such as finite-element methods and circuit simulators. However, a number of problems encountered in design are not amenable to purely algorithmic solutions. These problems are often ill structured (the term ill-structured problems is used here to denote problems that do not have a clearly defined algorithmic solution), and an experienced engineer deals with them using judgment and experience. AI techniques, in particular the knowledge-based system (KBS) technology, offer a methodology to solve these ill-structured design problems. In this article, we describe several research projects that utilize KBS techniques for design automation. These projects are (1) the Criteria Yielding, Consistent Labeling with Optimization and Precedents-Based System (CYCLOPS), which generates innovative designs by using a three-stage process: normal search, exploration, and adaptation; (2) the Concept Generator (CONGEN), which is a domain independent framework for conceptual or preliminary design; (3) Constraint Manager (CONMAN), which is a constraint-management system that performs the evaluation and consistency maintenance of constraints arising in design; (4) the distributed and integrated environment for computer-aided engineering (DICE), which facilitates coordination, communication, and control during the entire design and construction/manu-facturing phases; and (5) DESIGN-KIT, which can be envisioned as a new generation of computer-aided engineering environment for process-engineering applications.

The user interface to an expert system shares many design objectives and methods with the interface to a computer system of any sort. Nevertheless, significant aspects of behavior and user expectation are peculiar to expert systems and their users. These considerations are discussed here with examples from an actual system. Guidelines for the behavior of expert systems and the responsibility of designers to their users are proposed. Simplicity is highly recommended. Entia non sunt multiplicanda praete necessitatem.

Commonsense reasoning about the physical world, as exemplified by "Iron sinks in water" or "If a ball is dropped it gains speed," will be indispensable in future programs. We argue that to make such predictions (namely, envisioning), programs should use abstract entities (such as the gravitational field), principles (such as the principle of superposition), and laws (such as the conservation of energy) of physics for representation and reasoning. These arguments are in accord with a recent study in physics instruction where expert problem solving is related to the construction of physical representations that contain fictitious, imagined entities such as forces and momenta (Larkin 1983). We give several examples showing the power of physical representations.

A panel session at the 1989 International Joint Conference on Artificial Intelligence in Los Angeles dealt with the subject of knowledge-based systems; the session was entitled "Expert Systems: How Far Can They Go?" The panelists included Randall Davis (Massachusetts Institute of Technology); Stuart Dreyfus (University of California at Berkeley); Brian Smith (Xerox Palo Alto Research Center); and Terry Winograd (Stanford University), chairman. Part 1 of this article, which appeared in the Spring 1989 issue, began with Winograd's original charge to the panel, followed by lightly edited transcripts of presentations from Winograd and Dreyfus. Part 2 begins with the presentations from Smith and Davis and concludes with the panel discussion.

This article records the results of an experiment in which a survey of AI and expert systems (ES) literature was attempted using Science Citation Indexes. The survey identified a sample of authors and institutions that have had a significant impact on the historical development of AI and ES. However, it also identified several glaring problems with using Science Citation Indexes as a method of comprehensively studying a body of scientific research. Accordingly, the reader is cautioned against using the results presented here to conclude that author A is a better or worse AI researcher than author B.

Giving Is Hard: The Complexity of Linear Navigation and Xiaofeng Chen, Wright State University, 274 SC9j22, Santa Clara, CA 95052.

Problem-solving techniques such as modeling, simulation, optimization, and network analysis have been used extensively to help agricultural scientists and practitioners understand and control biological systems. By their nature, most of these systems are difficult to quantitatively define. Many of the models and simulations that have been developed lack a user interface which enables people other than the developer to use them. As a result, several scientists are integrating knowledge-based- system (KBS) technology with conventional problem-solving techniques to increase the robustness and usability of their systems. To investigate the similarities and differences of leading scientists' approaches, a pioneer workshop, supported by the Association for the Advancement of Artificial Intelligence (AAAI) and the Knowledge Systems Area of the American Society of Agricultural Engineers, was held in San Antonio, Texas, on 10-12 August 1988. Part of the AAAI Applied Workshop Series, the meeting was intended to bring together researchers and practitioners active in applying AI concepts to agricultural problems.

A panel session at the 1989 International Joint Conference on Artificial Intelligence in Los Angeles dealt with the subject of knowledge-based systems; the session was entitled "Expert Systems: How Far Can They Go?" The panelists included Randall Davis (Massachusetts Institute of Technology); Stuart Dreyfus (University of California at Berkeley); Brian Smith (Xerox Palo Alto Research Center); and Terry Winograd (Stanford University), chairman. Part 1 of this article, which appeared in the Spring 1989 issue, began with Winograd's original charge to the panel, followed by lightly edited transcripts of presentations from Winograd and Dreyfus. Part 2 begins with the presentations from Smith and Davis and concludes with the panel discussion. Although almost four years have passed since this discussion took place, the issues raised and the points discussed appear no less relevant today.