Ready Schools is a radical systems change effort to improve the academic, health, and social outcomes of historically underserved children in one of this country’s largest and most diverse communities, Miami-Dade County. This report presents Year 3 findings of SRI's evaluation.
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.
Commonsense reasoning is "nonmonotonic" in the sense that we often draw, on the basis of partial information, conclusions that we later retract when we are given more complete information.
In this paper we ask if another major class of speaker recognition models, those based on MLLR speaker adaptation transforms, can also benefit from region-constrained feature extraction.
Nils J. Nilsson, H.G. Barrow, L. Stephen Coles, G. Gleason, B. Meyer, & David Nitzan
This report describes interim results of a project to specify special equipment for research in Artificial Intelligence. After surveying several potential users it was decided that there was a need for standardized equipment for robot research.
Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed.
TABLOG (Tableau Logic Programming Language) is a language based on first-order predicate logic with equality that combines functional and logic programming. TABLOG incorporate advantages of LISP and PROLOG.
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to lead to the automation of many of the facets of the programming process.
In a binary-search algorithm for the computation of a numerical function, the interval in which the desired output is sought is divided in half at each iteration.
Formal logic has played an important part in artificial intelligence (AI) research for almost thirty years, but its role has always been controversial.
