Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Intelligent Question-Answering Systems

Principal Investigator:  Bertram Raphael

Mailing address:
AI Center
SRI International
333 Ravenswood Avenue
Menlo Park, CA 94025-3493

AIC Program:  AIC

   Project Description

This report summarizes two years of research effort that included studies of computer memory organization, formal theorem-proving techniques, the application of theorem-proving techniques to new problem domains, and the use of limited natural language input to a question-answering system. The principal accomplishments of the project were

(a) the discovery of some interesting ways of relating formal theorem-proving to practical question-answering and problem-solving tasks, and

(b) the implementation of a system of computer programs that demonstrate the approach and facilitate further research.

This report describes briefly the areas of research covered, and then presents abstracts of four papers that contain extensive description and technical detail of the work.

SRI Project 6001

   Personnel

Name Title E-mail
Coles, L. Stephen Alumnus
Green, Cordell Alumnus
Raphael, Bertram Alumnus
Yates, Robert Alumnus

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy