However, many 3pecialized Many languages have the property that when languages are limited in their expressive power. This some collections of facts are stated explicitly, additional paper presents methods for determining when a set of facts are stated implicitly. We call such languages facts is expressible in a language.

Current subprojects include applications of the program Gerring.

Reprinted, with permission, from IEEE Acoustic, Speech and Signal Processing, Spring, 1984. ABSTRACT In the past fifteen years, artificial intelligence scientists have built several signal interpretation, or understanding, programs. These programs have combined "low" level signal processing algorithms with knowledge representation and reasoning techniques used in knowledge-based. HASP/SIAP is one such program that tries to interpret the meaning of passively collected sonar data. In this paper we explore some of the Al techniques that contribute in the "understanding" process. We also describe the organization of HASP/SIAP system as an example of a programming framework that show promise for applications in a class of similar problems.1 Using data from concealed hydrophone arrays, it must detect, localize, and ascertain the type of each ocean vessel within range. Tne presence and movements of submarines are of most interest, but there are strategic and tactical motives for monitoring all vessel types.

MARS is an experimental system that provides a framework for implementing hierarchical discrete event driven simulators. The program is independent of any domain.

Ihe control problem--which of its potential actions should an Al system perform at each point in the problem -solving process?-- is fundamental to all cognitive processes. To solve the control problem intelligently, Al systems should achieve (at least) the seven behavioral goals set forth in this paper. The paper proposes a blackboard model of control and shows how it achieves the goals. The pdper contrasts the model with three alternative control models and shows how it continues an evolutionary progression of control architectures.

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

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.

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

Ability to learn 19 3.2.11

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.