Founded in 1972 to develop and disseminate new ideas in computer science, the Information Sciences Institute (ISI) is an off-campus research center of the University of Southern California, with a combined research and support staff of over one hundred. The Institute engages in a broad set of research and application-oriented projects in the computer sciences. The Institute AI research focuses on program synthesis user interfaces, programming environments, natural language, and expert systems. AI researchers are supported by ten personal Lisp workstations, several VAXs, two TOPS-20 systems, and a magnificent view of Marina del Rey.

Founded in 1972 to develop and disseminate new ideas in computer science, the Information Sciences Institute (ISI) is an off-campus research center of the University of Southern California, with a combined research and support staff of over one hundred. The Institute engages in a broad set of research and application-oriented projects in the computer sciences. These projects range from basic efforts, through development of prototype systems, to operation of a major Arpanet computer facility. The Institute AI research focuses on program synthesis user interfaces, programming environments, natural language, and expert systems. AI researchers are supported by ten personal Lisp workstations, several VAXs, two TOPS-20 systems, and a magnificent view of Marina del Rey.

Over the past two years we have started a program of On the theoretical side, Professor Randall Davis has research into the development of VLSI systems. They have introduced a descriptive formalism called OMEGA, which contributes to many of the issues of Traditional automated synthesis techniques for circuit current concern in knowlege representation, and they have design are restricted to small classes of circuit functions for applied it to describe the various structured entities such as which mathematical methods exist. Sussman and his group have developed computer-aided design tools that can be of much broader assistance. Guy L. Steele developed a language to support such programming, Johan de Kleer studied causal and Professor Marvin Minsky has worked on a theory of human teleological reasoning in the recognition of circuit function thinking, which likens the mind to a society of agents and from schematics, and Howie Shrobe has worked on constraint attempts to combine a number of insights from satisfaction and the development of an interactive knowledgebased psychoanalytic, developmental, and cognitive theories of system for substantially supporting VLSI design. Further work by Richard Greenblatt and Dr. Lucia Doyle has studied belief revision via truth maintenance and Vaina develops the idea of thread memory.