Author: SRI International

  • Review of Language in Action: Categories, Lambdas, and Dynamic Logic, by J. van Benthem

    For about two thousand years, logic and logicians were stuck on the problem of multiple quantification. Aristotle and his successors had systematized large parts of monadic quantification theory (as we now call it), but very little progress had been made on extending the Aristotelian account to sentences involving more than one quantified noun phrase

  • Executions, Motivations, and Accomplishments

    Brutus wanted to kill Caesar. He believed that Caesar was an ordinary mortal, and that, given this, stabbing him was a way of killing him.

  • FASTUS: A Finite-State Processor for Information Extraction from Real-World Text

    The GeoVRML working group of the Web3D Consortium recently announced an extension to the ISO standard Virtual Reality Modeling Language (VRML) to enable just these capabilities.

  • Building and Using Scene Repesentations In Image Understanding

    The analysis side is the processing of sensory data for such tasks as recognition and navigation, and a number of techniques are discussed here for dealing with these two-, three-, and higher-dimensional data.

  • SRI: Description of the JV-FASTUS System Used for MUC-5

    SRI International developed an information extraction system called FASTUS1 , a permuted acronym standing for “Finite State Automata-based Text Understanding System.

  • A Multivalued Logic Approach To Integrating Planning Control

    This paper describes a prototype system for quickly developing joint military courses of action. The system, SOCAP (System for Operations Crisis Action Planning and Execution), with a color map display and applies this technology to military operations planning.

  • A Common Knowledge Representation for Plan Generation and Reactive Execution

    This paper describes the ACT formalism, which is designed to encode the knowledge required to support both the generation of complex plans and reactive execution of those plans in dynamic environments.

  • Supporting Pascal Programming With An On-Line Template Library And Case Studies

    In this project, we devised an on-line network of Pascal programming templates called a template library, and tested it with subjects (classified as novice, intermediate, and expert Pascal programmers) both as a stand alone resource and in conjunction with programming case studies.

  • Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction

    Reasoning systems that are goal-directed and avoid repeatedly solving the same goals can be constructed by formulating the top-down methods metatheoretically for execution by a bottom-up reasoning system (hence, we use the term upside-down meta-interpretation). This formulation also facilitates the use of flexible search strategies, such as merit-ordered search that are common to bottom-up reasoning…

  • A view on qualitative physics

    This was one of the first papers in what is today a large and active area of artificial intelligence.

  • Gemini: A Natural Language System For Spoken-Language Understanding

    The paper describes the architecture of Gemini, paying particular attention to resolving the tension between robustness and overgeneration. Gemini features a broad-coverage unification-based grammar of English, fully interleaved syntactic and semantic processing in an all-paths, bottom-up parser, and an utterance-level parser to find interpretations of sentences that might not be analyzable as complete sentences.

  • A Fuzzy Controller For Flakey, An Autonomous Mobile Robot

    Through the use of fuzzy logic, goal-oriented behavior (e.g., trying to reach a given location) and reactive behavior (e.g., avoiding previously unknown obstacles on the way) are smoothly blended into one sequence of control actions. The fuzzy controller has been implemented on the SRI robot Flakey, and its performance demonstrated in several different environments.