The applications include the user-advised construction of an assembly line balancing system and a self-optimizing street light control system. The generalized production-rule strategy that is better than any other at Arizona State University. The estimation is based on for the decision maker to respond to. The system can serve as a module simulation models. of an expert system in need of numeric Figure 1 shows the or functional estimates of hiddenvariable Mazur, Robert F. geographically distributed input Cromp, Bede McCall, operations and knowledge bases. Bickmore, Jan van been in the area of forecasting and Leeuwen, João Martins, interpolating econometric indicators.

Each node has between Joshi), and computational vision (S. Papers were presented by The Department of Electronics, Government under contract with Indian companies. Seven major research and KBCS applications, including expert logic programming (which teaching centers and a number of systems for government administration, seems to be well developed in India), associated institutions are involved expert systems for engineering and reasoning. The level of most presentations are the Center for the Development vision system applications, and was good and of an international of Advanced Computing (Pune), the KBCS applications in and for ancient flavor. The audience was Department of Electronics (New Indian sciences; and language-processing unusually active, initiating discussions Delhi), The Indian Institute of Science technologies, including natural and friendly controversies.

AI research is conducted at a number of academic and research units at the Georgia Institute of Technology. Some of this research is basic in nature, and some has an applied character to it. This article briefly describes basic AI research in the College of Computing at Georgia Tech.

Case-based reasoning provides both a methodology for building systems and a cognitive model of people. It is consistent with much that psychologists have observed in the natural problem solving people do. Psychologists have also observed, however, that people have several problems in doing analogical or case-based reasoning. Although they are good at using analogs to solve new problems, they are not always good at remembering the right ones. However, computers are good at remembering. I present case-based decision aiding as a methodology for building systems in which people and machines work together to solve problems. The case-based decision-aiding system augments the person's memory by providing cases (analogs) for a person to use in solving a problem. The person does the actual decision making using these cases as guidelines. I present an overview of case-based decision aiding, some technical details about how to implement such systems, and several examples of case-based systems.

The US Army has installed PRIDE Merlin is an expert system developed (Pulse Radar Intelligent Diagnostic at Hewlett Packard's Networked Environment), a diagnostic expert Computer Manufacturing Operation system developed by Carnegie Group (Roseville, CA) to forecast the factory's (Pittsburgh, PA), in Saudi Arabia in product demand. Lucid (Menlo Park, CA), producer of American Airlines (Dallas, TX) has the Lucid Common Lisp language, developed an expert system - Maintenance has acquired Peritus, a producer of Operation Control Advisor C/C and FORTRAN compilers. Consolidated Edison (New York, Nova Technology (Bethesda, MD), a NY) has developed the SOCCS Alarm new company founded by Naval Advisor, an expert system that recommends Research Center scientist Harold Szu, operator actions required plans to commercialize neural networks to maintain the necessary and continuous made from high-performance power supply to its customers. Kurzweil AI (Waltham, MA) has Inference (El Segundo, CA) has received a federal grant to develop named Peter Tierney CEO and president. VoiceGI, a voice-activated reporting Tierney was formerly VP of and database management system marketing at Oracle.

Thus, traditional (deterministic) planners can be useful in probabilistic domains.

Artificial Intelligence 51 (1991) 417-471, Spatial reasoning is ubiquitous in human problem solving. Significantly, many aspects of it appear to be qualitative. This paper describes a general framework for qualitative spatial reasoning and demonstrates how it can be used to understand complex mechanical systems, such as clocks. The framework is organized around three ideas.

In Lifschitz, V. (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359–380. Academic Press.

The growth in the amount of available databases far outstrips the growth of corresponding knowledge. This creates both a need and an opportunity for extracting knowledge from databases. Many recent results have been reported on extracting different kinds of knowledge from databases, including diagnostic rules, drug side effects, classes of stars, rules for expert systems, and rules for semantic query optimization.

In this paper we describe the VLSI design and testing of a high capacity associative memory which we call the exponential correlation 3J.'-CMOSassociative memory (ECAM). The prototype programmable chip is capable of storing 32 memory patterns of 24 bits each. The high capacity of the ECAM is partly due to the use of special exponentiation neurons, which are implemented via MOS transistors in this design. The prototype chipsub-threshold of performing one associative recall in 3 J.'S.is capable 1 ARCHITECTURE Previously (Chiueh, 1989), we have proposed a general model for correlation-based associative memories, which includes a variant of the Hopfield memory and highorder correlation memories as special cases. This new exponential correlation associative (ECAM) possesses a very large storage capacity, which scalesmemory exponentially with the length of memory patterns (Chiueh, 1988).