The equivalence problem for program schemes, or for programs, is reduced to the proving of a theorem in second-order logic. This work extends Manna's first-order logic reductions. Some examples of the technique are given together with a suggested method for obtaining proofs in special cases by firstorder methods. INTRODUCTION Several workers in recent years have considered using techniques and ideas of various mathematical theories of computation for proving interesting results about computer programs. This paper is concerned with two of these approaches.

Networks as models of word storage: G. R. Kiss

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.

Theorem Proving Vision Robotics Information Processing Psychology Learning and Inductive Inference Planning and Related Problem-solving Techniques Automatic Programming (AP) Is a new, dynamic, and not precisely defined area of artificial intelligence. This overview discusses the definitions, history, motivating forces and goals of automatic programming and includes a brief description of the basic characteristics and central issues of AP systems. The article begins with a section discussing the various possible definitions of automatic programming, the background in which it has achieved existence, as well as some of its general motivating forces and goals. The next section describes four characteristics of all AP systems: the method by which a user of such a system specifies or describes the desired program, the target language in which the system writes the program, the problem or application area to which the system is addressed, and the approach or operational method employed by the system. Next, a section discusses four basic issues, one or more of which concern all AP systems: the representation and processing of partial or incomplete information; the transformation of structures, and especially the transformation of program descriptions into other descriptions (in this chapter, the term program description includes the user's specification of the desired program, any Internal representations of the progrrm, as well as the target language implementation); the efficiency of the target language Imp,ementation; and the system's capabilities for aiding in the understanding of the program.

Theorem Proving Vision Robotics Information Processing Psychology Learning and Inductive Inference Planning and Related Problem-solving Techniques A. Natural Language Processing Ovnrview The most common way that human beings communicate Is by speaking or writing In one of the "natural" languages, like English, French, or Chinese. Computer programming languages, on the other hand, seem awkward to humans. These "artificial" languages are designed to have a rigid format, or syntax, so that a computer program reading and compiling code written In an artificial language can understand what the programmer means. In addition to being structurally simpler than natural languages, the artificial languages can express easily only those concepts that are important In programming: "Do this then do that," "See it such and such Is true," etc. The things that can be expressed In a language are referred to as the semantics of the language. The research on understanding natural language described in this section of the Handbook is concerned with programs that deal with the full range of meaning of languages like English.

Those of us involved In the creation of the Handbook of Artificial Intelligence, both writers and editors, have attempted to make the concepts, methods, tools, and main results of artificial Intelligence research accessible to a broad scientific and engineering audience. Currently, Al work Is familiar mainly to its practicing specialists and other interested computer scientists. Yet the field Is of growing interdisciplinary interest and practical Importance. With this book we are trying to build bridges that are easily crossed by engineers, scientists in other fields, and our own computer science colleagues. In the Handbook we Intend to cover the breadth and depth of Al, presenting general overviews of the scientific issues, as well as detailed discussions of particular to -hniques and Important Al systems.

Currently Al work is familiar mainly to Its practicing specialists and other interested computer scientists. Yet tho field is of growing interdisciplinary Interest and practical importance. With this book we are trying to build bridges that are easily crossed by engineers, scientists in other fields, ond our own computer science colleagues. In the Handbook we intend to cover the breadth and depth of Al, presenting general overviews of the scientific issues, as well as detailed discussions of particular techniques and important Al systems. Throughout we have tried to keep In mind the reader who is not a specialist In Al.

A clinical investigator graphical capabilities which can plot specific parameters for a keeping the records of his study patients on such a system can patient over time 1126]. However, it is in the analysis of stored use the program's statistical capabilities for data analysis.

This paper is a "final report" on the first version of the CRYSALIS project. As such, we will summarize the current state of the system and show where we plan to go with it. We have found that a design (in the software eng ineer ing sense) is a valuable tool for the evaluation and augmentation of a program, even when the design is done ex post facto. Using such a design, we discuss the major flaws of the existing system and how to correct them. Finally, we show how the architecture of this system could be useful for certain other task domains.

In the early days of computing, these goals were central to the new discipline called cybernetics [126], [2]. Over the past two decades, progress toward these goals has come from a variety of fields - notably computer science, psychology, adaptive control theory, pattern recognition, and philosophy. Substantial progress has been made in developing techniques for machine learning in highly restricted environments.