Publications Search

63 results

Real-Time Reasoning: The Monitoring and Control Of Spacecraft Systems
Francois Felix Georgeff, & Michael. P. Ingrand

This paper describes research concerned with automating the monitoring and control of spacecraft systems. In particular, the paper examines the application of SRI’s Procedural Reasoning System (PRS) to the handling of malfunctions in the Reaction Control System (RCS) of NASA’s space shuttle

Jan, 1990 Journal Download PDF Details
Reasoning About Control: An Evidential Approach
Leonard P. Wesley, John D. Lowrance , & Thomas D. Garvey

Expert systems that operate in complex domains are continually confronted with the problem of deciding what to do next. Being able to reach a decision requires, in part, having the capacity to "reason" about a set of alternative actions.

Jul, 1984 Journal Download PDF Details
Reasoning and Planning In Dynamic Domains: An Experiment With A Mobile Robot
Marcel J. Schoppers, Michael P. Georgeff, & Amy L. Lansky

In this paper, the reasoning and planning capabilities of an autonomous mobile robot are described.

Apr, 1987 Journal Download PDF Details
Research in Advanced Formal Theorem-Proving Techniques
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.

Jun, 1969 Journal Download PDF Details
Research on Intelligent Question-Answering Systems
Cordell Green, & Bertram Raphael

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.

May, 1967 Journal Download PDF Details
Research On Natural-Language Processing At SRI
Barbara J. Grosz

Research on natural-language processing at SRI spans a broad spectrum of activity.

Nov, 1981 Journal Download PDF Details
San Francisco Bay Area KIPP Schools, A Study of Early Implementation and Achievement: Final Report
Katrina Woodworth, Jane L, Bay Area Research Group David, Roneeta Guha, Haiwen Wang, & Alejandra Lopez-Torkos

This report describes the implementation and impact of the Knowledge Is Power Program (KIPP) in five Bay Area middle schools.

Aug, 2008 Article Download PDF Details
Topics: Educational Impact Evaluation
Scenario-Based Learning Assessment Reflection Toolkit
Louise Yarnall, Ann House, Ken Rafanan, Thomas Gaffney, & Ruchi Tirumala Bhanot

SRI developed evidence-centered assessment reflection tools (EC-AR) that help educators to broaden learning objectives to shift from content topics to student competencies.

Nov, 2009 Miscellaneous Download PDF Details
Topics: Assessment Design + Evaluation Community College: Transitions
Study of Equipment Needs for Artificial Intelligence Research
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.

Jun, 1973 Journal Download PDF Details
The Representation and Use of Focus in a System for Understanding Dialogs
Barbara J. Grosz

This paper describes a representation of focus for language understanding systems, emphasizing its use in understanding task-oriented dialogs.

Jun, 1977 Journal Download PDF Details