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.

I am the one called KayEl. I provide century was fascinated but confused by what answers to your queries and hence I am the it saw and wanted answers to a few questions. The alien approached to be logically correct; and (3) I will each in turn. I am Spock, a knowledge representation Then, in a soft voice learned from automobile and reasoning service. I provide answers commercials, the machine added quickly, to your queries.

Letters to the Editor

In Memorium: Jonathan J. King (1949-1991)

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.

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.

Engineering and scientific education condition us to expect everything, including intelligence, to have a simple, compact explanation. Today, some researchers who seek a simple, compact explanation hope that systems modeled on neural nets or some other connectionist idea will quickly overtake more traditional systems based on symbol manipulation. Others believe that symbol manipulation, with a history that goes back millennia, remains the only viable approach. AI is not like circuit theory and electromagnetism.

It is consistent with much that psychologists have observed in the natural problem solving people do. Psychologists have also observed, however, that people have several problems in doing analogical or case-based reasoning. I present case-based decision aiding as a methodology for building systems in which people and machines work together to solve problems. The case-based decision-aiding system augments the person's memory by providing cases (analogs) for a person to use in solving a problem.

AI research is conducted at a number of academic and research units at the Georgia Institute of Technology. Some of this research is basic in nature, and some has an applied character to it. This article briefly describes basic AI research in the College of Computing at Georgia Tech.