Author: SRI International

  • A Prolog Technology Theorem Prover

    An extension of Prolog, based on the model elimination theorem-proving procedure, would permit production of a logically complete Prolog technology theorem prover capable of performing inference operations at a rate approaching that of Prolog itself.

  • A Formal Theory Of Knowledge and Action

    Most work on planning and problem solving within the field of artificial intelligence assumes that the agent has complete knowledge of all relevant aspects of the problem domain and problem situation. In the real world, however, planning and acting must frequently be performed without complete knowledge. This imposes two additional burdens on an intelligent agent…

  • Probabilistic Logic

    The method described in the present paper combines logic with probability theory in such a way that probabilistic logical entailment reduces to ordinary logical entailment when the probabilities of all sentences are either 0 or 1.

  • Artificial Intelligence, Employment, and Income

    Some claim that AI is not really very different from other technologies that have supported automation and increased productivity–technologies such as mechanical engineering, electronics, control engineering, and operations research.

  • Some Remarks on the Semantics of Representation Languages

    It has been said many times that semantic nets are mere notational variants of predicate calculus. But before we lay down our nets, we ought at least to be clear about what predicate calculus is.

  • Choosing A Basis For Perceptual Space

    If it is possible to interpret an image as a projection of rectangular forms, there is a strong tendency for people to do so. In effect, a mathematical basis for a vector space appropriate to the world, rather than to the image, is selected.

  • The DARPA / DMA Image Understanding Testbed Programmer’s Manual

    The primary purpose of the Image Understanding (IU) Testbed is to provide a means for transferring technology from the DARPA-sponsored IU research program to DMA and other organizations in the defense community.

  • The SRI Artificial Intelligence Center: A Brief History

    A group that ultimately grew into a major world center of artificial intelligence research, a center that has endured twenty-five years of boom and bust in fashion, has “graduated” over a hundred AI research professionals, and has generated ideas and programs resulting in new products and companies as well as scientific articles, books, and this…

  • Transportability and Generality In A Natural-Language Interface System

    This paper describes the design of a transportable natural language (NL) interface to databases and the constraints that transportability places on each components of such a system.

  • Direct Parsing Of Id/Lp Grammars

    We develop a parsing algorithm, based on the algorithm of Earley, for parsing ID/LP grammars directly, circumventing the initial expansion phase. We also discuss some aspects of the time complexity of the algorithm.

  • An Overlapped Prolog Processor

    The report compares the organization to both general-purpose, microcoded machines and reduced-instruction-set machines. Hand timings indicate that a peak performance rate of 450 K LIPS (logical inferences per second) is well within current technology limitations and 1 M LIPS is potentially feasible.

  • Overview Of The Image Understanding Testbed

    The Image Understanding Testbed is a system of hardware and software that is designed to facilitate the integration, testing, and evaluation of implemented research concepts in machine vision.