Genre
Palladio: An Exploratory Environment for Circuit Design
Each proceeds by an asynchronous, concurrent message communication protocol was described within Palladio passing between nodes. A node in the grid is composed of by an associated behavior defined for the communication a communication chip and a local processor with local chip. The behavior was expressed from a circuitspecific behavioral perspective based on the concept of message passing.
Report 83 27 Discovering Patterns in Sequences of Objects . S Stanford Thomas G. S. May 1983
A more general kind of sequence-prediction problem--the non-deterministic prediction problem--is defined, and a general methodology for its solution presented. The methodology, called SPARC, employs multiple description models to guide the search for plausible sequence-generating rules. Three different models are presented along with algorithms for instantiating them to discover rules. The instantiation process requires that the initial input sequence be substantially transformed to make explicit important features of the sequence. Four different data transformation operators arc described. The architecture of a system called SPARC/E is presented, which implements most of the methodology for discovering sequence-generating rules in the card game Elcusis. Examples of the execution of SPARC/E are presented.
1983 Edition 2 The MRS Casebook edited by Michael R. Genesereth Department of Computer Science School of Humanities and Sciences Stanford University
MRS is a knowledge representation system intended for use by Al researchers in building expert systems. It offers a dkerse repertory of commands for asserting and retrieving information. The initial system includes a vocabulary of concepts and facts about logic, sets, mappings, arithmetic, and procedures. What differentiates MRS from many other knowledge representation systems is its ability to reason about and control its own activity. In MRS the system is treated as a domain in its own right.
The Role of Experimentation in Theory Formation
Experimentation serves three purposes: (a) hypothesis testing, (b) gathering of new data to constrain the theory generator, and (c) manipulation of the external system to reveal its structure. A theory formation system, EG, is described that employs experimentation and observation techniques to develop a theory of the UNIX file system and executive-level file commands. This theory formation task is more complex than previous efforts, and the goal of the project is to determine which existing theory formation methods are applicable and what new methods need to be developed. Previous techniques arc reviewed, and none of them arc found to be applicable. A new technique, based on controlled experimentation, is de3cribcd, and a hypothetical trace of EG's execution is presented. Key terms: 'Theory formation, generate-and-test, controlled experimentation, exploratory experiments, observation experiments, hypothesis-test experiments, credit assignment, new terms.