Publications
-
A Framework for Evidential-Reasoning Systems
Evidential reasoning is a body of techniques that supports automated reasoning from evidence. It is based upon the Dempster-Shafer theory of belief functions. Both the formal basis and a framework…
-
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.
-
Hypothesis Formation as Design
-
Automatically Generating Universal Attachments Through Compilation
In this paper, we describe a compilation-based method for automatically generating new programs and new universal attachments to those programs given a base set of existing programs and universal attachments.
-
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.
-
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,…
-
Academic Excellence, A Preparation Guide To Golden State Examination
-
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…
-
What is Information?
Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC
-
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.
-
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.
-
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…