Yoav Shoham's revised doctoral dissertation is not fully comprehensible to all readers, but it provides a good introduction to reasoning about change; the references are sometimes incomplete, however.

Nigel Ford's book purports to be both an introduction to AI and an examination of whether machines are cognizant entities.With this pairing, Ford intends to begin at the beginning, answering the question "what is AI?" and to proceed to his main thesis about whether machines can think. Unfortunately, Ford is unable to move on to the higher plane of his main thesis.

AAAI is a society devoted to supporting the progress in science, technology and applications of AI. I thought I would use this occasion to share with you some of my thoughts on the recent advances in AI, the insights and theoretical foundations that have emerged out of the past thirty years of stable, sustained, systematic explorations in our field, and the grand challenges motivating the research in our field.

A novel approach is presented for the development of expert systems for structural design problems. This approach differs from the conventional expert systems in two fundamental respects. First, mathematical optimization is introduced into the design process. Second, a computer is used to obtain parts of the knowledge necessary in the expert systems in addition to heuristics and experiential knowledge obtained from documented materials and human experts. As an example of this approach, a prototype coupled expert system, the bridge truss expert (BTExpert), is presented for optimum design of bridge trusses subjected to moving loads. BTExpert was developed by interfacing an interactive optimization program developed in Fortran 77 to an expert system shell developed in Pascal. This new generation of expert systems-embracing various advanced technologies such as AI (machine intelligence), the numeric optimization technique, and interactive computer graphics -- should find enormous practical implications.

The Fifth Annual Theoretical Issues in Conceptual Information Processing Workshop took place in Washington, D.C. in June 1987. About 100 participants gathered to hear several invited talks and panels discussing the issues relating to artificial intelligence and cognitive science.

Evaluation should be a mechanism of progress both within and across AI research projects. For the individual, evaluation can tell us how and why our methods and programs work and, so, tell us how our research should proceed. For the community, evaluation expedites the understanding of available methods and, so, their integration into further research. In this article, we present a five-stage model of AI research and describe guidelines for evaluation that are appropriate for each stage. These guidelines, in the form of evaluation criteria and techniques, suggest how to perform evaluation. We conclude with a set of recommendations that suggest how to encourage the evaluation of AI research.

Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, this book by David Maier and Davis S. Warren, respected researchers in logic programming, is a superb book.

He is a and Information Science at The and Information Science at The Distinguished Professor of Computer Ohio State University, Columbus, Ohio State University, Columbus, Science at the University of Minnesota, Ohio 43210. He is currently writing Ohio 43210. He is currently writing a position he has held since 1984.

The following is a synopsis of the findings of the first AAAI Workshop on AI Applications to Battle Management held at the University of Washington, 16 July 1987. This paper served as a focus for the workshop presentations and discussions and was augmented by the workshop presentations; it can also serve as a roadmap of topics for future workshops. AI can provide battle management with such capabilities as sensor data fusion and adaptive simulations. Also, several key needs in battle management will be AI research topics for years to come, such as understanding free text and inferencing in real time.