Author: SRI International

  • Can AI Planners Solve Practical Problems?

    This paper describes this new extension and the new applications of the planner. One of these applications is the problem of producing products from raw materials on process lines under production and resource constraints.

  • Stereomodel Acquisition Geometry

    In this research stereomodel acquisition geometry is analyzed, the relationship between stereomodel geometric parameters and stereoscopic fusion is established, and a criterion for collection of fusible models is tested.

  • The Path-Indexing Method For Indexing Terms

    The path-indexing method for indexing first-order predicate calculus terms is a refinement of the standard coordinate-indexing method.

  • A Perspective On Multiagent Planning

    This report presents an informal review of current research trends in planning and, in particular, my own views on multiagent planning. A short description of the GEMPLAN research project is provided, including both the current state of the system and my future research plans.

  • Decision Analysis Using Belief Functions

    In this paper we offer a probabilistic interpretation of a simple assumption that disambiguates decision problems represented with belief functions. We prove that it yields expected values identical to those obtained by a probabilistic analysis that makes the same assumption.

  • Toward a Foundation for Evaluating AI Planners

    This paper presents criteria for evaluating AI planners; these criteria fall into three categories: (1) performance issues, (2) representational issues, and (3) communication issues.

  • Review of ‘Logical Foundations for Belief Representation’

    Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC

  • Fast Parallel Surface Interpolation With Applications To Digital Cartography

    In this paper, we present a surface interpolation algorithm based on variational splines which is well suited to massively parallel computers.

  • A Prolog Technology Theorem Prover: A New Exposition and Implementation In Prolog

    This paper describes a new Prolog-based implementation of PTTP. It uses three compile-time transformations to translate formulas into Prolog clauses that directly execute, with the support of a few run-time predicates, the model elimination procedure with depth-first iterative-deepening search and unification with the occurs check.

  • Concepts Of Information: Comparative Axiomatics

    There is much talk about this being the Age of Information and about a Post-Industrial Revolution centered on information processing.  But what exactly is information?

  • A Calculus For Semantic Composition and Scoping

    We will show that those scoping restrictions follow from simple and fundamental facts about functional application and abstraction, and can be expressed as constraints on the derivation of possible meanings for sentences rather than constraints of the alleged forms of those meanings.

  • A Semantic-Head-Driven Generation Algorithm For Unification-Based Formalisms

    We present an algorithm for generating strings from logical form encodings that improves upon previous algorithm in that it places fewer restrictions on the class of grammars to which it is applicable.