The First International Workshop on Rough Sets: State of the Art and Perspectives was held on 2-4 September 1992 in Kiekrz, Poland. To stimulate the discussion, the participation was limited to 40 researchers who are involved in fundamental research in rough set theory and its extensions, logic for approximate reasoning, machine learning, knowledge representation and transfer, and applications of rough set methodology. The workshop focused primarily on applications of the basic idea of the approximate definition of a set and its consequences in other areas of science and engineering. Applications discussed at the workshop included machine learning, medical diagnosis, fault detection, medical image processing, neural net training, database organization, drug research, and digital circuit design.

PROSE is a knowledge-based configurator platform for telecommunications products. Its outstanding feature is a product knowledge base written in C-classIC, a frame-based knowledge representation system in the KL-ONE family of languages. Unlike previous configurator applications, the PROSE knowledge base is in a purely declarative form that provides developers with the ability to add knowledge quickly and consistently. The PROSE architecture is general and is not tied to any specific telecommunications product.

This article describes the integration of a knowledge-based system with a large COBOL-DB2-based offender management system. The knowledge-based application, developed for the purpose of offender sentence calculation, is shown to provide several benefits, including a shortened development cycle, simplified maintenance, and improved accuracy over a previous COBOL-based application.

The Association for the Advancement of Artificial Intelligence (AAAI) held its 1993 Spring Symposium Series on March 23-25 at Stanford University. This article contains summaries of the eight symposia that were conducted: AI and Creativity, AI and NP-Hard Problems, Building Lexicons for Machine Translation, Case-Based Reasoning and Information Retrieval, Foundations of Automatic Planning, Innovative Applications of Massive Parallelism, Reasoning about Mental States, and Training Issues in Incremental Learning. Technical reports of the symposia AI and Creativity, Building Lexicons for Machine Translation, Case-Based Reasoning and Information Retrieval, Foundations of Automatic Planning, Innovative Applications of Massive Parallelism, Reasoning about Mental States, and Training Issues in Incremental Learning are available from AAAI.

In 1991, Ford Motor Company began deployment of CAPE (computer-aided parts estimating system), a highly advanced knowledge-based system designed to generate, evaluate, and cost automotive part manufacturing plans. CAPE is a highly significant system for Ford of Europe in terms of the business needs it satisfies and the corporate acceptance of AI applications: First, CAPE represents a major investment, with significant person-years of effort spent on predeployment development alone. Second, CAPE is the first large-scale production expert system to be deployed within Ford of Europe. CAPE reduces estimating response time by 50 percent.

My dissertation concerns the application of constraint-based reasoning to parametric engineering design (Murtagh 1991).1 It deals with the practical application of constraint networks, using automated reasoning to overcome some of the blind spots in conventional iterative design.

The University of Michigan's CARMEL and SRI International's FLAKEY were the first- and second-place finishers, respectively, at the 1992 Robot Competition sponsored by the Association for the Advancement of Artificial Intelligence. The two teams used vastly different approaches in the design of their robots. Many of these differences were for technical reasons, although time constraints, financial resources, and long-term research objectives also played a part. This article gives a technical comparison of CARMEL and FLAKEY, focusing on design issues that were not directly reflected in the scoring criteria.

This article informally examines the role of stored internal state (that is, memory) in the control of autonomous mobile robots. The difficulties associated with using stored internal state are reviewed. It is argued that the underlying cause of these problems is the implicit predictions contained within the state, and, therefore, many of the problems can be solved by taking care that the internal state contains information only about predictable aspects of the environment. This architecture was successfully used to control real-world and simulated real-world autonomous mobile robots performing complex navigation tasks.

The first Robotics Exhibition and Competition sponsored by the Association for the Advancement of Artificial Intelligence was held in San Jose, California, on 14-16 July 1992 in conjunction with the Tenth National Conference on AI. This article describes the history behind the competition, the preparations leading to the competition, the threedays during which 12 teams competed in the three events making up the competition, and the prospects for other such competitions in the future.

The Digital Services Research Group and its predecessor groups and offshoots in Digital Equipment Corporation have been mobilizing leading-edge AI research to bear on real-life problems that face the corporation and its customers. The general strategy of the group is to explore emerging techniques relevant to service and support needs through developing rapid prototypes, deploying these prototypes, and incorporating feedback from users. With over 32 major projects undertaken during the past decade, we have worked on broad spectrum of problems and explored a variety of advanced AI techniques. This article describes the current AI activities in five areas: (1) enterprise advisory systems, (2) natural language processing and textual information retrieval, (3) largescale knowledge base management and access, (4) software configuration management, and (5) intrusion detection.