Author: SRI International

  • Prosody, Syntax and Parsing

    We describe the modification of a grammar to take advantage of prosodic information provided by a speech recognition system. This initial study is limited to the use of relative duration of phonetic segments in the assignment of syntactic structure, specifically in ruling out alternative parses in otherwise ambiguous sentences.

  • Two Principles Of Parse Preference

    Our aims in this paper is first to present a compendium of many of these heuristics and secondly to propose two principles that seem to underlie the heuristics.

  • Interpretation As Abduction

    In the TACITUS project at SRI we have developed an approach to abductive inference, called “weighted abduction,” that has resulted in a significant simplification of how the problem of interpreting texts is conceptualized.

  • Decision-Making In An Embedded Reasoning System

    This paper describes some of the features of a Procedural Reasoning System (PRS) that enables it to operate effectively in such environments.

  • On Formal versus Commonsense Semantics

    Pure mathematical semantics is either a part of or an application of mathematical logic. Real semantics, even though an application of mathematical logic, is a part of the theory of meaning or content.

  • Real-Time Reasoning: The Monitoring and Control Of Spacecraft Systems

    This paper describes research concerned with automating the monitoring and control of spacecraft systems. In particular, the paper examines the application of SRI’s Procedural Reasoning System (PRS) to the handling of malfunctions in the Reaction Control System (RCS) of NASA’s space shuttle.

  • Weighted Abduction For Plan Ascription

    We describe an approach to abductive reasoning called weighted abduction, which uses inference weights to compare competing explanations for observed behavior. We present an algorithm for computing a weighted-abductive explanation, and sketch a model-theoretic semantics for weighted abduction.

  • Academic Excellence, A Preparation Guide To Golden State Examination

  • What is Information?

    Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC

  • A Centralized Approach for Representing and Resolving Interactions Among Multi-agent Tasks while Planning Hierarchically

    The advantages of hierarchical planning for construction projects and the difficulties associated with implementing hierarchical planning systems using artificial intelligence techniques are described.

  • Discovery Learning And Transfer Of Problem Solving Skills

    A framework for understanding the effects of discovery learning on the transfer of problem-solving skill is presented.

  • Localized Search

    This report does not describe GEMPLAN, but only its generic localized search algorithm. We only explain and abstract features of GEMPLAN on which this search algorithm is based. As a result, this algorithm is applicable to any other constraint-satisfaction problem with characteristics similar to GEMPLAN.