Using this framework, a survey is presented of most of the important articles and books dealing with problem solving, game playing, and automatic theorem proving.
Claude R. Brice, Claude L. Fennema, & Stephen A. Weyl
In the region analysis work done by Brice and Fennema (1969), a one-pass algorithm was used to initially partition the picture into named, homogeneous, connected components and to set up the region structure (AROS).
The objective of the proposed research program is to further develop the application of Q-A theory and techniques to practical medical information-retrieval systems.
An Interface has been devised for use on the PDP-10 computer that allows FORTRAN (or FORTRAN-compatible MACRO) subroutines and functions to be run under the LISP operating system.
Cordell Green, Robert A. Yates, Bertram Raphael, & Charles A. Rosen
Research in the development and application of advanced formal theorem-proving techniques. The objective of the proposed work is to design and implement a computer program with general, powerful, and extremely flexible capabilities for both logical inference and data management.
This technical note describes a region-based data structure that is easily obtained, lends itself to description of the data in a rich manner by a process of pointer reduction, and reduces combinatorial types of search by implicitly including positional information.
A research project applying artificial intelligence techniques to development of integrated robot systems is described. The experimental facility consists of an SDS-940 computer and associated programs controlling a wheeled vehicle that carries a TV camera and other sensors.
Stanford Research Institute proposes herewith a new project to continue and draw together the research that was begun under the two projects mentioned.
