To perform these diagnoses, DART must frequently determine how the hardware's primary inputs can be manipulated to produce desired test conditions at internal nodes. Especially when the system's behavior is time-dependent, this reasoning must be carefully controlled, or a combinatorial explosion may result. This paper contrasts two techniques for representing time-dependent digital system behavior and controlling reasoning to achieve desired hardware states. 2

A central process in any learning experience is the incorporation of a new fact into an existing theory. Often the goal of that process is more specific, to learn some new fact about some concept. But what does it mean to claim that a sentence is new, and even more interesting, what qualifies as a novel fact about some concept? Despite the vast interest in learning and the abundance of related papers (cf.

Effective communication is fundamental to many definitions of intelligence, including Turing's test [23]. The communication between computers and humans, which is only one aspect of this general topic, is the basic concern of this research. Effective communication requires competence in two related areas: interpretation of messages and generation of messages. Effective generation must take into account how messages are going to be interpreted, and successful interpretation must take into account how and why messages are generated. This thesis proposal describes research on the generation of effective communication by a computer system for a human user of that system.

Table 1: Measured comparison of three control strategies.

These paradigms include 1) clinical algorithms, 2) statistical analysis of collections of patient data, 3) mathematical models of physical processes, 4) decision analysis.

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.

Ability to learn 19 3.2.11

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.

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 STANFORD Artificial Intelligence Project, later reports to attempt to place each person, or report, in context.