Author: SRI International

  • On The Imaging Of Fractal Surfaces

    We examine the imaging of standard Brownian Fractal surfaces.

  • A Representation Of Parallel Activity Based On Events, Structure, and Causality

    Most AI domain representations have been based on state-oriented world models. In this paper we present an event-based model that focuses on domain events (both atomic and nonatomic) and on the causal and temporal relationships among them. Emphasis is also placed on representing locations of activity and using them to structure the domain representation. Our…

  • Inferring Domain Plans In Question-Answering

    The importance of plan inference in models of conversation has been widely noted in the com-putational-linguistics literature, and its incorporation in question-answering systems has enabled a range of cooperative behaviors. The plan inference process in each of these systems, however, has assumed that the questioner (Q), whose plan is being inferred, and the respondent (R),…

  • The Logical Foundations Of Evidential Reasoning

    The approach proposed by Carnap for the development of logical bases for probability theory is investigated by using formal structures that are based on epistemic logics. Epistemic logics are modal logics introduced to deal with issues that are relevant to the state of knowledge that rational agents have about the real world. The use of…

  • How To Clear A Block: A Theory Of Plans

    Problems in commonsense and robot planning are approached by methods adapted from program synthesis research; planning is regarded as an application of automated deduction. To support this approach, we introduce a variant of situational logic, called plan theory, in which plans are explicit objects. A machine-oriented deductive-tableau inference system is adapted to plan theory. Equations…

  • Hierarchical Warp Stereo

    This paper describes a new technique for use in the automatic production of digital terrain models from stereo pairs of aerial images.

  • A Knowledge-Based Architecture For Organizing Sensory Data

    This paper describes an architecture for an information manager that is at the core of a sensor-based autonomous system. The architecture provides the means by which sensor-based data can be integrated with stored knowledge to provide the information needed for autonomous behavior. The overall architecture can be viewed as a community of independent processes, each…

  • An Algorithm For Generating Quantifier Scopings

    The syntactic structure of a sentence often manifests quite clearly the predicate-argument structure and relations of grammatical subordination. But scope dependencies are not so transparent. As a result, many systems for representing the semantics of sentences have ignored scoping or generated scopings with mechanisms that have often been inexplicit as to the range of scopings…

  • An Architecture For Intelligent Reactive Systems

    Any intelligent system that operates in a moderately complex or unpredictable environment must be reactive — that is, it must respond dynamically to changes in its environment. A robot that blindly follows a program or plan without verifying that its operations are having their intended effects is not reactive. For simple tasks in carefully engineered…

  • Shading Into Texture

    The fractal surface model provides a formalism that is competent to describe such natural 3-D surfaces and, in addition, is able to predict human perceptual judgments of smoothness versus roughness.

  • Epipolar-Plane Image Analysis: A Technique For Analyzing Motion Sequences

    A technique for unifying spatial and temporal analysis of an image sequence taken by a camera moving in a straight line is presented. The technique is based on a “dense” sequence of images–images taken close enough together to form a solid block of data. Slices of this solid directly encode changes due to motion of…

  • A Morphological Recognizer With Syntactic and Phonological Rules

    This paper describes a morphological analyzer which, when parsing a word, uses two sets of rules: describing the syntax of words, and rules describing facts about orthography.