Author: SRI International

  • The Tacitus System: The Muc-3 Experience

    We describe and evaluate a method for dealing with unknown words and a method for filtering out sentences irrelevant to the task. Each of these techniques has been evaluated, and the results of the evaluations are presented.

  • Artificial Intelligence Techniques for Construction Planning

    This paper highlights the limitations of existing project planning tools, illustrates the power of AI techniques in the construction planning domain through a summary and critique of previous and current research in AI planning, and concludes with a suggested approach to developing AI-based project planning techniques for construction.

  • CLOS: integrating object-oriented and functional programming

    This article explores the landscape in which the major object-oriented facilities exist, showing how the CLOS solution is effective within the two contexts.

  • Quantification In Autoepistemic Logic

    Here we look at quantification in auto-epistemic logic, which is a modal logic of self-knowledge. We propose several different semantics, all based on the idea that having beliefs about an individual amounts to having a belief using a certain type of name for the individual.

  • Actions and Movements

    We present an account of action whose main features are that actions are content properties that agents have in virtue of (i) the bodily movements they effect and (ii) the wider circumstances in which those movements are effected.

  • Resolution for Epistemic Logics

    In this paper we report on a resolution proof method for logics of belief that is suitable for automatic reasoning in commonsense domains.

  • Metaphor and Abduction

    In this paper a recent approach to inference in text understanding based on abduction is applied to the problem of metaphor interpretation. The fundamental ideas in the “interpretation as abduction” approach are outlined.

  • Working Notes On PARADISE Chess Patterns

    This report contains primarily data and is intended for people writing pattern-based game-playing programs who wish to know the details of the patterns in PARADISE.

  • Integrated Interfaces For Decision-Support With Simulation

    We examine the weaknesses inherent in graphical user interfaces to support these users of simulation for short-term situation assessment and scenario evaluation, a style of problem solving characteristic of military and factory command-and-control.

  • Hierarchic Autoepistemic Theories For Nonmonotonic Reasoning: Preliminary Report

    We propose a method of nonmonotonic reasoning in which the notion of inference from specific bodies of evidence plays a fundamental role. The formalization is based on autoepistemic logic, but introduces additional structure, a hierarchy of evidential spaces.

  • Abduction Vs. Closure In Causal Theories

    Starting with a causal theory, explanations can be generated either by abductive reasoning, or by adding closure axioms and minimizing causation within a deductive framework. The latter method is strictly stronger than the former, but requires full knowledge of causation in a domain.

  • Dimensions of interaction: AAAI-90 presidentional address

    The challenge for AI for the decade is to deal with the issues of interaction.