The Fourth International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT-03) took place at the Stanford University Center for the Study of Language and Information in Stanford, California, on 23 to 25 June 2003. Like the previous conferences, CONTEXT-03 fulfilled its aim of bringing together representatives of many different research areas, spanning the whole range of the cognitive and information sciences, and with interests ranging from the use of context in specific, commercial applications to highly general philosophical, psychological, and logical theories.

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.

In general, modeling is a complex and creative task, and building qualitative models is no exception. One way of automating this task is by means of machine learning. Observed behaviors of a modeled system are used as examples for a learning algorithm that constructs a model that is consistent with the data. In this article, we review approaches to learning qualitative models, either from numeric data or qualitative observations. We describe the QUIN program that looks for qualitative patterns in numeric data and outputs the results of learning as "qualitative trees." We illustrate this using applications associated with systems control, in particular, the identification and optimization of controllers and human operator's control skill. We also review approaches that learn models in terms of qualitative differential equations.

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.

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?

Program (July 28) is currently accepting nominations accessible to the general public or Tenth AAAI/SIGART Doctoral Consortium for AAAI Fellow. The AAAI Fellows to a broad AI audience (not just a subarea), (July 25-26) program is designed to written within the last two AAAI Intelligent Systems Demonstrations recognize people who have made significant, years.

Complex electro-mechanical products, such as high-end printers and photocopiers, are designed as families, with reusable modules put together in different manufacturable configurations, and the ability to add new modules in the field. The modules are controlled locally by software that must take into account the entire configuration. This poses two problems for the manufacturer. The first is how to make the overall control architecture adapt to, and use productively, the inclusion of particular modules. The second is to decide, at design time, whether a proposed module is a worthwhile addition to the system: will the resulting system perform enough better to outweigh the costs of including the module? This article indicates how the use of qualitative, constraint-based models provides support for solving both of these problems. This has become an accepted part of the practice of Xerox, and the control software is deployed in high-end Xerox printers.

This summer's AI conference in Acapulco offered attendees wide variety of program choices as well as ample time to catch up with friends and colleagues. For many, scheduling time was probably the biggest challenge because the conference included numerous invited speakers, 189 technical paper presentations, 93 posters, a Mobile Robot Competition, 19 Innovative Applications of AI (IAAI) award-winning paper presentations, a Trading Agents Competition, a special track on AI and the web, and the vendor exhibit.

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.