Publications
-
Description Of SRI’s Baseline Stereo System
We are implementing a baseline system for automated area-based stereo compilation.
-
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…
-
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…
-
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…
-
Tablog: The Deductive-Tableau Programming Language
TABLOG (Tableau Logic Programming Language) is a language based on first-order predicate logic with equality that combines functional and logic programming. TABLOG incorporate advantages of LISP and PROLOG.
-
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…
-
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…
-
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…
-
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 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…
-
Reasoning About Control: An Evidential Approach
We present an alternative evidentially-based approach to reasoning about control that enables us to reason from limited and imperfect information; to partition bodies of meta- and domain-knowledge into modular components;…
-
The Role Of Logic In Artificial Intelligence
This paper surveys three possible applications of logic in AI: as an analytical tool, as a knowledge representation formalism, and as a programming language.