Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief revision, and metareasoning. Annotation copyright Book News, Inc. Portland, Or.

Readings in Qualitative Reasoning about Physical Systems describes the automated reasoning about the physical world using qualitative representations. This text is divided into nine chapters, each focusing on some aspect of qualitative physics. The first chapter deal with qualitative physics, which is concerned with representing and reasoning about the physical world. The goal of qualitative physics is to capture both the commonsense knowledge of the person on the street and the tacit knowledge underlying the quantitative knowledge used by engineers and scientists. The succeeding chapter discusses the qualitative calculus and its role in constructing an envisionment that includes behavior over both mythical time and elapsed time. These topics are followed by reviews of the mathematical aspects of qualitative reasoning, history-based simulation and temporal reasoning, as well as the intelligence in scientific computing. The final chapters are devoted to automated modeling for qualitative reasoning and causal explanations of behavior. These chapters also examine the qualitative kinematics of reasoning about shape and space. This book will prove useful to psychologists and psychiatrists.

There exists a history of great expectations and large investments involving artificial intelligence (AI). There are also notable shortfalls and memorable disappointments. One major controversy regarding AI is just how mathematical a field it is or should be. This text includes contributions that examine the connections between AI and mathematics, demonstrating the potential for mathematical applications and exposing some of the more mathematical areas within AI. The goal is to stimulate interest in people who can contribute to the field or use its results. Included in the work by M. Newborn on the famous Deep BLue chess match. He discusses highly mathematical techniques involving graph theory, combinatorics and probability and statistics. G. Shafer offers his development of probability through probability trees with some of the results appearing here for the first time. M. Golumbic treats temporal reasoning with ties to the famous Frame Problem. His contribution involves logic, combinatorics and graph theory and leads to two chapters with logical themes. H. Kirchner explains how ordering techniques in automated reasoning systems make deduction more efficient. Constraint logic programming is discussed by C. Lassez, who shows its intimate ties to linear programming with crucial theorems going back to Fourier. V. Nalwa's work provides a brief tour of computer vision, tying it to mathematics - from combinatorics, probability and geometry to partial differential equations. All authors are gifted expositors and are current contributors to the field. The wide scope of the volume includes research problems, research tools and good motivational material for teaching.

'Advanced Artificial Intelligence' consists of 16 chapters. The content of the book is novel, reflects the research updates in this field, and especially summarises the author's scientific efforts over many years.

Design has now become an important research topic in engineering and architecture. Design is one of the keystones to economic competitiveness and the fundamental precursor to manufacturing. The development of computational models founded on the artificial intelligence paradigm has provided an impetus for current design research. This volume contains contributions from the Second International Conference on Artificial Intelligence in Design held in June 1992 in Pittsburgh. They represent the state-of-the-art and the cutting edge of research and development in this field. They are of particular interest to researchers, developers and users of computer systems in design. This volume demonstrates both the breadth and depth of artificial intelligence in design and points the way forward for our understanding of design as a process and for the development of computer-based tools to aiddesigners.

Artificial and Mathematical Theory of Computation is a collection of papers that discusses the technical, historical, and philosophical problems related to artificial intelligence and the mathematical theory of computation. Papers cover the logical approach to artificial intelligence; knowledge representation and common sense reasoning; automated deduction; logic programming; nonmonotonic reasoning and circumscription. One paper suggests that the design of parallel programming languages will invariably become more sophisticated as human skill in programming and software developments improves to attain faster running programs. An example of metaprogramming to systems concerns the design and control of operations of factory devices, such as robots and numerically controlled machine tools. Metaprogramming involves two design aspects: that of the activity of a single device and that of the interaction with other devices. One paper cites the application of artificial intelligence pertaining to the project "proof checker for first-order logic" at the Stanford Artificial Intelligence Laboratory. Another paper explains why the bisection algorithm widely used in computer science does not work. This book can prove valuable to engineers and researchers of electrical, computer, and mechanical engineering, as well as, for computer programmers and designers of industrial processes.