In preparation for the Summer tion needs as customer support, field Stone Webster (Boston, MA) and The Olympics in Barcelona, Telefonica de service, end-user computing, and Foxboro Co. (Foxboro, MA) plan to Espana S.A. (Madrid, Spain), the vendor technical support. Advisor, Stone Webster's real-time Macro*World Investor, a stock analysis developed a Spanish-language speech Foxboro system is at Weyerhaeuser's and data transformations while Spain will recognize the caller's Engineers' Design Institute for had previously been done by human company's customer support personnel The a specified roster of physical and on case-based reasoning. Currently in HSB is used to increase employee thermodynamic properties for the production, the Support Management productivity for both instructors and chemical or mixture. ATT reportedly plans to support this market, such as memory implement a pilot project for Mellon close 31 of its operator centers, and cards, smart cards, tokens, tags, and Bank (Pittsburgh, PA) using Nestor's to lay off from 3,000 to 6,000 of its wireless communication, will also be credit card Fraud Detection System, a workers in the next two years ATT covered. The system is designed in the Dallas-Fort Worth area.

The Sixth Annual Knowledge-Based Software Engineering Conference (KBSE-91) was held at the Sheraton University Inn and Conference Center in Syracuse, New York, from Sunday afternoon, 22 September, through midday Wednesday, 25 September. The KBSE field is concerned with applying knowledge-based AI techniques to the problems of creating, understanding, and maintaining very large software systems.

Mobile Robot Competition and Exhibition

Announcement of the new Mobile Robot Competition and Exhibition, to be held annually at the AAAI National Conference on Artificial Intelligence. Announcement of the new Mobile Robot Competition and Exhibition, to be held annually at the AAAI National Conference on Artificial Intelligence.

Decision analysis and expert systems are technologies intended to support human reasoning and decision making by formalizing expert knowledge so that it is amenable to mechanized reasoning methods. Despite some common goals, these two paradigms have evolved divergently, with fundamental differences in principle and practice. We present the key ideas of decision analysis and review recent research and applications that aim toward a marriage of these two paradigms. This work combines decision-analytic methods for structuring and encoding uncertain knowledge and preferences with computational techniques from AI for knowledge representation, inference, and explanation.

The Association for the Advancement of Artificial Intelligence held its 1991 Spring Symposium Series on March 26-28 at Stanford University, Stanford, California. This article contains short summaries of the eight symposia that were conducted: Argumentation and Belief, Composite System Design, Connectionist Natural Language Processing, Constraint-Based Reasoning, Implemented Knowledge Representation and Reasoning Systems, Integrated Intelligent Architectures, Logical Formalizations of Commonsense Reasoning, and Machine Learning of Natural Language and Ontology.

In my Ph.D. dissertation (Bhansali 1991), I develop an integrated knowledge-based framework for efficiently synthesizing programs by bringing together ideas from the fields of software engineering (software reuse, domain modeling) and AI (hierarchical planning, analogical reasoning). Based on this framework, I constructed a prototype system, APU, that can synthesize UNIX shell scripts from a high-level specification of problems typically encountered by novice shell programmers. An empirical evaluation of the system's performance points to certain criteria that determine the feasibility of the derivational analogy approach in the automatic programming domain when the cost of detecting analogies and recovering from wrong analogs is considered.

This article describes a task-specific, domain-independent architecture for candidate evaluation. I discuss the task-specific architecture approach to knowledge-based system development. Finally, I describe a task-specific expert system shell, which includes a development environment (Ceved) and a run-time consultation environment (Ceval). This shell enables nonprogramming domain experts to easily encode and represent evaluation-type knowledge and incorporates the encoded knowledge in performance systems.

Each is supported and work to find a general solution to that by a formalized theory of the moves in the class of problems.

A five-year project, it is aimed at promoting cooperation among research centers, developing state-of-the art training and teaching programs, and demonstrating KBCS solutions to selected socioeconomic problems.