Machines Who Think: A Personal Inquiry into the History and Prospect of Artificial Intelligence, Pamela McCorduck, San Francisco, California, Freeman, 1979, 375 pp., ISBN 0-7167-11135-4.

We examine different formalisms for modeling qualitatively physical systems and their associated inferential processes that allow us to derive qualitative predictions from the models. We highlight the mathematical aspects of these processes along with their potential and limitations. The article then bridges to quantitative modeling, highlighting the benefits of qualitative reasoning-based approaches in the framework of system identification, and discusses open research issues.

Traditional approaches to ecological modeling, based on mathematical equations, are hampered by the qualitative nature of ecological knowledge. In this article, we demonstrate that qualitative reasoning provides alternative and productive ways for ecologists to develop, organize, and implement models. We present a qualitative theory of population dynamics and use this theory to capture and simulate commonsense theories about population and community ecology. Advantages of this approach include the possibility of deriving relevant conclusions about ecological systems without numeric data; a compositional approach that enables the reusability of models representing partial behavior; the use of a rich vocabulary describing objects, situations, relations, and mechanisms of change; and the capability to provide causal interpretations of system behavior.

Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid-flow analysis, computer-aided design, and protein structure databases. Such applications often require the identifi- cation and manipulation of qualitative spatial representations, for example, to detect whether one object will soon occlude another in a digital image or efficiently determine relationships between a proposed road and wetland regions in a geographic data set. Qualitative spatial reasoning (QSR) provides representational primitives (a spatial "vocabulary") and inference mechanisms for these tasks. This article first reviews representative work on QSR for data-poor scenarios, where the goal is to design representations that can answer qualitative queries without much numeric information. It then turns to the data-rich case, where the goal is to derive and manipulate qualitative spatial representations that efficiently and correctly abstract important spatial aspects of the underlying data for use in subsequent tasks. This article focuses on how a particular QSR system, SPATIAL AGGREGATION, can help answer spatial queries for scientific and engineering data sets. A case study application of weather analysis illustrates the effective representation and reasoning supported by both data-poor and data-rich forms of QSR

We argue that qualitative modeling provides a valuable way for students to learn. Two modelbuilding environments, VMODEL and HOMER/- VISIGARP, are presented that support learners by constructing conceptual models of systems and their behavior using qualitative formalisms. Both environments use diagrammatic representations to facilitate knowledge articulation. Preliminary evaluations in educational settings provide support for the hypothesis that qualitative modeling tools can be valuable aids for learning.

A wide range of sensor-rich, networked embedded systems are being created that must operate robustly for years in the face of novel failures by managing complex autonomic processes. These systems are being composed, for example, into vast networks of space, air, ground, and underwater vehicles. Our objective is to revolutionize the way in which we control these new artifacts by creating reactive model-based programming languages that enable everyday systems to reason intelligently and enable machines to explore other worlds. A model-based program is state and fault aware; it elevates the programming task to specifying intended state evolutions of a system. The program's executive automatically coordinates system interactions to achieve these states, entertaining known and potential failures, using models of its constituents and environment. At the executive's core is a method, called CONFLICT-DIRECTED A*, which quickly prunes promising but infeasible solutions, using a form of one-shot learning. This approach has been demonstrated on a range of systems, including the National Aeronautics and Space Administration's Deep Space One probe. Model-based programming is being generalized to hybrid discrete-continuous systems and the coordination of networks of robotic vehicles.

However, what are the application areas include autonomous spacecraft key research topics? There are the scientific disciplines support, failure analysis and on-board diagnosis such as physics and chemistry that develop of vehicle systems, automated generation theories, and there are engineering disciplines of control software for photocopiers, and intelligent aids for learning about thermodynamic that develop solutions that change the cycles. Qualitative reasoning is thus relevant physical world. Both use formal mathematical for researchers who are interested in important systems, as well as computer implementations, AI issues as well as for managers, to derive conclusions about natural and artificial developers, and engineers who are looking for pieces of the world. Does this approach potential industrial benefits of AI. not provide a systematic and formal way to A decade has passed since the publication of reason about the physical world? What remains three collections of papers and a book covering to be done for AI research in this area?

The SHOP2 planning system received one of the awards for distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2 which enabled it to excel in the competition, especially those aspects of SHOP2 that deal with temporal and metric planning domains.

VHPOP is a partial order causal link (POCL) planner loosely based on UCPOP. It draws from the experience gained in the early to mid 1990's on flaw selection strategies for POCL planning, and combines this with more recent developments in the field of domain independent planning such as distance based heuristics and reachability analysis. We present an adaptation of the additive heuristic for plan space planning, and modify it to account for possible reuse of existing actions in a plan. We also propose a large set of novel flaw selection strategies, and show how these can help us solve more problems than previously possible by POCL planners. VHPOP also supports planning with durative actions by incorporating standard techniques for temporal constraint reasoning. We demonstrate that the same heuristic techniques used to boost the performance of classical POCL planning can be effective in domains with durative actions as well. The result is a versatile heuristic POCL planner competitive with established CSP-based and heuristic state space planners.

TALplanner is a forward-chaining planner that relies on domain knowledge in the shape of temporal logic formulas in order to prune irrelevant parts of the search space. TALplanner recently participated in the third International Planning Competition, which had a clear emphasis on increasing the complexity of the problem domains being used as benchmark tests and the expressivity required to represent these domains in a planning system. Like many other planners, TALplanner had support for some but not all aspects of this increase in expressivity, and a number of changes to the planner were required. After a short introduction to TALplanner, this article describes some of the changes that were made before and during the competition. We also describe the process of introducing suitable domain knowledge for several of the competition domains.