SPE
Palladio: An Expert Assistant for Integrated Circuit Design
The most widely used description level in integrated circuit design is the artwork or layout level. This level describes integrated circuits in terms of "colored rectangles" (representing material on a chip) that can be composed to build up large designs. Associated with the colored rectangle terms of the layout level is a set of composition rules, called layout design rules. The layout composition rules provide a simple shallow model of composition that is based on a deep model of electrical properties and fabrication tolerances. If designers follow these rules, their designs are guaranteed to have adequate physical spacing on a chip [3, 4].
OMEN User's Manual
OMEN is an object-oriented programming system designed for use in a FRANI LISP or other similar programming environment. OMEN stands for OHiccr MANIPULATION ENVIRONNIFN r, and consists of a set of functions to be loaded on top of a!ASP system running MRS. The user can the use the functions provided by OMEN to create classes of objects, instances of those classes, and functions that operate on those objects, and to send messages to those objects. OMEN is similar in design and operation to the flavors system of Lisp Machine lisp and the LOOPS system for the Xerox Dolphin. OMEN was originally designed as a programming eny ironmcnt for an objectoriemed graphics system, but the system should be useful for many different applications. OMEN is not a programming language. It is a way of abstracting the data structures a program must use and the functions that operate on those data structures.
Technical Memo HPP-82-3
During the quarter century since the birth of the branch of computer science known as artificial intelligence (Al), much of the research has focused on developing symbolic models of human inference. In the last decade several related Al research themes have come together to form what is now known as "expert systems research."1 In this paper we review Al and expert systems to acquaint the reader with the field and to suggest ways in which this research will eventually be applied to advanced medical monitoring.
Report 82 02 The Partitioning of Concerns in Digital
This paper* proposes the use of explicit austraction levels to organize decision making in digital design. These levels partition the concerns that a designer must consider at any time. They provide terms and composition rules for the composition of structural descriptions within a level. This allows multiple opportunities for mapping behavior into structure. A version of this paper was presented at the Conference on Advanced Research in VLSI, Massachusetts Institute of Technology, Cambridge, Massachusetts, January 25-27, 1982.
GLISP Users ' Manual Gordon S. Novak, Jr
Overview of GLISP GLISP is a LISP-based language which provides high-level language features not found in ordinary LISP. The GLISP language is implemented by means of a compiler which accepts GLISP as input and produces ordinary LISP as output; this output can be further compiled to machine code by the LISP compiler. The goal of GLISP is to allow structured objects to be reft-trenced in a convenient, succinct language, and to allow the structures of objects to be changed without changing the code which references the objects. The syntax of many GLISP constructs is English-like; much of the power and brevity of GLISP derive from the compiler features necessary to support the relatively informal.
Report 81-31 Expert Systems Research: Adapting
During the quarter century since the birth of "artificial intelligence" (Al), attempts to develop symbolic models of human reasoning processes have been a major focus of the ongoing research. It is only in the last half-dozen years or so, however, that several related Al research themes have come together in the formation of what is now known as "expert systems researoh" CI], In this brief paper I would 1.ke to review the key aspects of A: and expert syste-.s
BOWL: A Beginner's Program Using AGE
The two AGE documents, Joy of AGE-ing and AGE Reference 111anual, do not give the readers a sense of how to go about formulating a program to be built using AGE. This document is intended to fill that gap by presenting a complete program--its formulation, its construction and code, and its runs. It is a very simple program and uses only a small subset of the features in AGE. However, many problems can be formulated in similar ways, and it can be used as a template for the beginning AGE users. For most effective use of this document, it should be read in conjunction with the other two AGE documents--specific references are made when appropriate.