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.

A performance evaluation of 15 text-analysis systems was recently conducted to realistically assess the state of the art for detailed information extraction from unconstrained continuous text. The results support the claim that systems incorporating natural language-processing techniques are more effective than systems based on stochastic techniques alone. A wide range of language-processing strategies was employed by the top-scoring systems, indicating that many natural language-processing techniques provide a viable foundation for sophisticated text analysis. Further evaluation is needed to produce a more detailed assessment of the relative merits of specific technologies and establish true performance limits for automated information extraction.

This article argues that autonomy, not problem-solving prowess, is the key property that defines the intuitive notion of "intelligent creature." The presence of these attributes gives autonomous systems the appearance of nondeterminism, but they can all be present in deterministic artifacts and living systems. We argue that autonomy means having the right kinds of goals and the ability to select goals from an existing set, not necessarily creating new goals. We analyze the concept of goals in problem-solving systems in general and establish criteria for the types of goals that characterize autonomy.

My Ph.D. dissertation (Calistri 1990) extends traditional methods of plan recognition to handle situations in which agents have flawed plans. This extension involves solving two problems: determining what sorts of mistakes people make when they reason about plans and figuring out how to recognize these mistakes when they occur. I have developed a complete classification of plan-based misconceptions, which categorizes all ways that a plan can fail, and I have developed a probabilistic interpretation of these misconceptions that can be used in principle to guide a best-first search algorithm. I have also developed a program called Pathfinder that embodies a practical implementation of this theory.

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.

Building new knowledge-based systems today usually entails constructing new knowledge bases from scratch. It could instead be done by assembling reusable components. System developers would then only need to worry about creating the specialized knowledge and reasoners new to the specific task of their system. This new system would interoperate with existing systems, using them to perform some of its reasoning. In this way, declarative knowledge, problem- solving techniques, and reasoning services could all be shared among systems. This approach would facilitate building bigger and better systems cheaply. The infrastructure to support such sharing and reuse would lead to greater ubiquity of these systems, potentially transforming the knowledge industry. This article presents a vision of the future in which knowledge-based system development and operation is facilitated by infrastructure and technology for knowledge sharing. It describes an initiative currently under way to develop these ideas and suggests steps that must be taken in the future to try to realize this vision.

A performance evaluation of 15 text-analysis systems was recently conducted to realistically assess the state of the art for detailed information extraction from unconstrained continuous text. Reports associated with terrorism were chosen as the target domain, and all systems were tested on a collection of previously unseen texts released by a government agency. Based on multiple strategies for computing each metric, the competing systems were evaluated for recall, precision, and overgeneration. The results support the claim that systems incorporating natural language-processing techniques are more effective than systems based on stochastic techniques alone. A wide range of language-processing strategies was employed by the top-scoring systems, indicating that many natural language-processing techniques provide a viable foundation for sophisticated text analysis. Further evaluation is needed to produce a more detailed assessment of the relative merits of specific technologies and establish true performance limits for automated information extraction.

This article argues that autonomy, not problem-solving prowess, is the key property that defines the intuitive notion of "intelligent creature." To build an intelligent artificial entity that will act autonomously, we must first understand the attributes of a system that lead us to call it autonomous. The presence of these attributes gives autonomous systems the appearance of nondeterminism, but they can all be present in deterministic artifacts and living systems. We argue that autonomy means having the right kinds of goals and the ability to select goals from an existing set, not necessarily creating new goals. We analyze the concept of goals in problem-solving systems in general and establish criteria for the types of goals that characterize autonomy.

Intelligence (AAAI) hopes that these This year's conference featured a new A talk united by a set of related research This year's program represented an by Jim Green0 addressed modeling issues. Constraint this approach is not seen There was time to interact Reasoning and Component Technologies as often today. Where is it session following each set of presentations. Highlights from the program focused on a presentation on among the accepted papers. A panel entitled "How Long which ran for two consecutive days Until the Household Robot: The For the first time, Innovative Applications during the conference. The emergence State of the Art in Robotics" featured in Artificial Intelligence (IAAI) of the forum Planning, Perception, speakers from industry and Carnegie presentations and AI Online interactive and Robotics reflected a recent trend Mellon's Robotic Institute, who panels were presented concurrently in Planning, with videotapes and a live robot providing an impressive demonstration Perception, and Robotics included demonstration.