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.

Review of Expert Systems in Business: A Practical Approach