Author: SRI International
-
Robot Planning, Execution, and Monitoring in an Uncertain Environment
An intelligent robot, operating in an external environment that cannot be fully modeled in the robot’s software, must be able to monitor the success of its execution of a previously generated plan.
-
Reasoning by Analogy as an Aid to Heuristic Theorem Proving
In the paper, the correspondence between a new unsolved problem and a previously solved analogous problem is computed and invoked to tailor large data bases to manageable sizes.
-
A Paradigm for Reasoning by Analogy
A paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved problem and a similar but previously solved problem to simplify its search for a solution is outlined.
-
ISUPPOSEW – A Computer Program That Finds Regions in the Plan Model of a Visual Scene
ISUPPOSEW is designed t o enable a robot to make conjectures, on the basis of its visual information, about elements of its environment that it cannot see.
-
The Application of Theorem Proving to Information Retrieval
We will describe an approach to combining and extending question-answering techniques to large data files using a compilation of widely used physical laws and effects of interest to both engineers and scientists.
-
Laser printing
PARC, which is now part of SRI, modulated a laser to create a bit-mapped electronic image on a xerographic copier drum.
-
An Information-Processing Model of Operant Behavior
In this note we shall sketch the outline of a simple information-processing model of operant behavior.
-
SRI – Trace Package for PDP-10 LISP
I’ve written a new LISP TRACE package which supersedes the current TRACE package.
-
Scene Analysis Using Regions
The method employed uses regions as basic data and progresses by successive partitioning of the picture toward an interpretable “goal partition”, which is then explored by a heuristic decision tree.
-
The Frame Problem in Problem-Solving Systems
The problem deals with the difficulty of creating and maintaining an appropriate informational context or “frame of reference” at each stage in certain problem-solving process.
-
Resolution Graphs
This paper introduces a new notation, called “resolution graphs,” for deduction by resolution in first-order predicate calculus.
-
A Survey of the Literature on Problem-Solving Methods in Artificial Intelligence
This paper groups these problem-solving methods under three major headings: the State-Space Approach, the Problem-Reduction Approach, and the Formal-Logic Approach.