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. Pathfinder is a probability-based plan-recognition.

Blue Cross/Blue Shield of Virginia AT&T's Merrimack Valley Works The US Army Laboratory Command's (Richmond, VA) has developed an (North Andover, MA) has developed Human Engineering Laboratory expert system to classify, evaluate the Expert Capacity and Material (Aberdeen Proving Ground, MD) has and process medical claims. The system, System (XCAM), an expert system awarded a $2.4 million contract to called MedScreen, reportedly which simplifies forecast evaluations Carnegie Group (Pittsburgh, PA) to can process up to 500 claims in 45 for a manufacturing operation The continue work on a knowledge-based minutes, an operation that used to system automates the analysis of logistics planning system. The system take several days to complete. The IBM (Armonk, NY) and Dragon Systems NRM has been successfully deployed ICL (Birmingham, England) has completed (Newton, MA) have jointly in a number of Australian banks, as a pilot test of an intelligent developed VoiceType, a speech recognition well as a food storage and distribution system for field service diagnosing system based on elements of center. ICL used a laptop-based allows hands-free typing.

First, the the other does. No theorist is going Thank you for the opportunity to split between the neats and scruffies to spend his or her time attempting respond to the letters by Jim Hendler, is old and institutionalized, as to bring precision to a mess of hacks, James Herbsleb and Mike Wellman Hendler points out. Few researchers kludges and "knowledge," and no regarding my survey of the Eighth are trained in both camps. Second, system builder is apt to find the National Conference on Artificial the pathologies that researchers in attempt informative. MAD does not Intelligence (AI Magazine, Volume 12, AAAI-90 themselves attributed to mean business as usual with occasional No. 1).

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

There has been a good deal of discussion recently about the possibility of standardizing knowledge representation efforts, including the development of an interlingua, or knowledge interchange format (KIF), that would allow developers of declarative knowledge to share their results with other AI researchers. In this article, I examine the practicality of this idea. I present some philosophical arguments against it, describe a straw-man KIF, and suggest specific experiments that would help explore these issues.

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.

The design constructs about the functional aspects of these can be no more general than the Reviewed by Amit Mukerjee prototypes. A harbinger of actions, information that can then be learning and vocabulary inadequacy) change is perhaps the book Knowledge-Based used to refine or adapt the prototype may be why the authors turn to analog Design Systems by R. D. to meet the design goals. Coyne, M. A. Rosenman, A. D. Radford, problem is then reduced to the problem Where the book falls short is in M. Balachandran, and J. S. Gero of searching through these possible illustrating the difference between (Addison Wesley, Reading, Mass., control actions to identify a the design task and other traditional 1990, 567 pages): It presents the sequence that will result in the desired Much of the discussion concentrates view because the volume is based on techniques are used in this process. Some of the other problems encountered here will also planning-type search through a space issues that one would have thought be different. Indeed, it seems in vision, planning, learning, and so resulting in conflicting criteria that clear that a large number of design on.

Task-specific architectures are a growing area of expert system research. Evaluation is one task that is required in many problem-solving domains. This article describes a task-specific, domain-independent architecture for candidate evaluation. I discuss the task-specific architecture approach to knowledge-based system development. Next, I present a review of candidate evaluation methods that have been used in AI and psychological modeling, focusing on the distinction between discrete truth table approaches and continuous linear models. 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.

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 picks up the call for a reflective examination of the prevailing computational metaphor of AI (and philosophical presuppositions behind it) by sketching alternatives that might serve as seeds for discussion-specifically, the seven alternatives introduced in our previous article (see "AI Magazine, spring 1991). The relative strengths and weaknesses of the alternatives are contrasted with those of the computational metaphor.