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.

Publication in BibTeX Format

@TECHREPORT{AICPub1457:1969, AUTHOR={Garvey, Thomas D., and Kling, Robert E.}, TITLE={User’s Guide To QA3.5 Question-Answering System}, ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025}, INSTITUTION={AI Center, SRI International}, MONTH={Dec}, NUMBER={15}, YEAR={1969}, KEYWORDS={Question-Answering Systems, Theorem Proving}, ABSTRACT={QA3.5 is a question-answering system based on a first-order predicate calculus theorem prover using Robinson’s resolution principle. The system is made up of about 240 LISP (written in BBN LISP on the SDS 940) functions, most of which run under QAS, the executive function. The executive contains provisions for changing the strategies, tracing proofs, unwinding proofs (i.e., printing out only those steps that lead directly to a proof, stepping through proofs by hand, and many different operations on the axiom base. The program has proved theorems in group theory, number theory, geometry, and algebra; it has solved "real-time" robot problems; it has been used to draw inferences from data bases containing several hundred axioms. }, NOTE={This research was sponsored by the Advanced Research Projects Agency and the Rome Air Development Center under Contract F30602-69-C-0056. Previously published as Appendix A of Final Report on Contract F30602-69-C-0056, "Application of Intelligent 7, Automata to Reconnaissance", November 1969.} }

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