In response to Rome Air Development Center Purchase Request No. 152083, this proposal outlines a program of research aimed at the development of a mathematical structure sufficiently comprehensive to serve as a means for subsequently realizing a useful, economical, self-organizing machine.
Kathleen Hebbeler, Don Bailey, Anita Scarborough, Sangeeta Mallik, Rune Simeonsson, Marnie Singer, & Laura Nelson
NEILS was part of a program of longitudinal studies funded by the U.S. Department of Education that were conducted by SRI International. Other studies in the program included the Special Education Elementary Longitudinal Study (SEELS) and the National Longitudinal Transition Study-2 (NLTS2).
Hector J. Levesque, Philip R. Cohen, & Jose H. T. Nunes
Joint action by a team does not consist merely of simultaneous and coordinated individual actions; to act together, a team must be aware of and care about the status of the group effort as a whole.
This report describes the talks and discussions occurring at an informal Workshop on Automatic Problem Solving held at Pajaro Dunes, CA, on May 14-16, 1973.
Nils J. Nilsson, J.M. Agin, Barbara G. Deutsch, Richard E. Fikes, Earl D. Sacerdoti, & J.M. Tenenbaum
This report describes the goals and plans for a five-year project to develop a computer-based system that will serve as an expert consultant to a human apprentice.
Because many artificial intelligence applications require the ability to deal with uncertain knowledge, it is important to seek appropriate generalizations of logic for that case.
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.
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.
