Summary of the present state of research in scene analysis. It identifies fundamental information-processing principles relevant to representation and use of knowledge in vision and traces limitations of existing programs to compromises of these principles necessitated by extant processors.
This report summaries the results of a three-year project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning.
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.
Stanford Research Institute proposes a program that will ultimately lead to the development of machines that will perform tasks that are presently considered to require human intelligence.
We are submitting a proposal to cover continuing research in the field of self-organizing machines. The four areas of present interest are: Neural Element Development; Integral Geometry Studies; Distributed Memory Studies; Photographic-Optical Simulation of Neural Nets.
The objective of the proposed research is to establish design criteria for an automatic program-synthesizing system. We will devise a natural way to define program-writing problems and describe programming languages, and then improve the known methods of program synthesis and investigate new ones.
Stanford Research Institute proposes herewith a new project to continue and draw together the research that was begun under the two projects mentioned.
This report describes progress toward an "intelligent question-answering system"?a system that can accept facts, retrieve items from memory, and perform logical deductions necessary to answer questions.
Submitting a proposal to extend Contract Nonr 3438 (00) to provide continuing funds for studies of: I) Interpolation or function-modelling in multi-variable systems, II) Learning machine structures composed of cascaded adaptive layers.
