Author: SRI International

  • Team Users Guide

    This user’s guide is designed to assist new TEAM users to learn about the concepts and tasks involved in retrieving data and in preparing a demonstration for a new application area.

  • Monitoring the Execution of Plans in SIPE

    In real-world domains (a mobile robot is used as a motivating example), things do not always proceed as planned. Therefore it is important to develop better execution-monitoring techniques and replanning capabilities. This paper describes the execution-monitoring and replanning capabilities of the SIPE planning system.

  • Automated Deduction By Theory Resolution

    Theory resolution constitutes a set of complete procedures for incorporating theories into a resolution theorem-proving program, thereby making it unnecessary to resolve directly upon axioms of the theory. This can greatly reduce the length of proofs and the size of the search space.

  • Description Of SRI’s Baseline Stereo System

    We are implementing a baseline system for automated area-based stereo compilation.

  • Parallel Guessing: A Strategy For High-Speed Computation

    In this paper we argue that “parallel guessing” for image analysis is a useful approach, and that several recent IU algorithms are based on this concept. We envision a parallel set of computers, each of which carries out a computation on a data set using some random or guessing process, and communicate the “goodness” of…

  • An Inductive Approach To Figural Perception

    An inductive approach consisting of two parts is presented. The first involves a scheme for describing the shapes of curves and surfaces and the second relies on a criterion for deciding which description is to be preferred.

  • Goal-Directed Textured-Image Segmentation

    This report concentrates on textured-image segmentation using local texture-energy measures and user-delimited training regions. The SLICE algorithm combines knowledge of target textures or signatures with knowledge of background textures by using histogram-similarity transforms.

  • A Fast Surface Interpolation Technique

    A method for interpolating a surface through 3-D data is presented. The method is computationally efficient and general enough to allow the construction of surfaces with either smooth or rough texture.

  • Evaluation Of Scene-Analysis Algorithms

    A software evaluation methodology has been developed at SRI International for evaluating contributions to the ARPA/DMA Image Understanding Testbed. This paper describes the criteria that have shaped the evaluation methodology.

  • A Deduction Model Of Belief and Its Logics

    This report is a slightly revised version of a thesis submitted to the Department of Computer Science at Stanford University in June 1984, in partial fulfillment of the requirements for the degree of Doctor of Philosophy.

  • Possible-World Semantics For Autoepistemic Logic

    This note presents an alternative, possible-world semantics for autoepistemic logic that enables us to construct finite models for autoepistemic theories, as well as to demonstrate the existence of sound and complete autoepistemic theories based on given sets of premises.

  • Belief and Incompleteness

    Two artificially intelligent (AI) computer agents begin to play a game of chess, and the following conversation ensues: S1: Do you know the rules of chess? S2: Yes. S1: Then you know whether White has a forced initial win or not. S2: Upon reflection, I realize that I must. S1: Then there is no reason…