A review of the principles and status of Prospector, a computer-based consultation program for mineral exploration. The mechanisms for representing ore deposit models by networks of inference rules are described, and the overall approach is compared to alternative decision making methodologies.
Since receiving support from the W.K. Kellogg Foundation in 2007, Ready Schools partners have made significant progress toward improving the systems in Miami-Dade that contribute to school readiness and success. This report presents findings of the second year of evaluation.
Robert A. Yates, Bertram Raphael, & Timothy P. Hart
This paper introduces a new notation, called "resolution graphs," for deduction by resolution in first-order predicate calculus. A resolution graph consists of groups of nodes that represent initial clauses of a deduction and links that represent unifying substitutions.
SRI developed evidence-centered assessment reflection tools (EC-AR) that help educators to broaden learning objectives to shift from content topics to student competencies.
The semantic component of the speech understanding system being developed jointly by SRI and SDC rules out phrase combinations that are not meaningful and produces semantic interpretations for combination that are.
Richard E. Fikes, Peter E. Hart, & Nils J. Nilsson
For the past several years research on robot problem-solving methods has centered on what may one day be called "simple" plans: linear sequences of actions to be performed by single robots to achieve single goals in static environments.
This report describes the Austin Independent School District’s recent effort to improve its high schools through a variety of initiatives led by the Office of District Redesign.
We describe in this paper a subjective Bayesian inference method that realizes some of the advantages of both formal and informal approaches. Of particular interest are the modifications needed to deal with the inconsistencies usually found in collections of subjective statements.
The work described in this paper has been carried out as a part of a project to build a system for natural language access to a computerized medical textbook on hepatitis.
Geoffrey B Saxe, Darrell Earnest, Yasmin Sitabkhan, Lina C Haldar, Katherine E Lewis, & Ying Zheng
This report provides evidence of the influence of a tutorial “communication game” on fifth graders’ generative understanding of the integer number line.
