Download eBook for Free

FormatFile SizeNotes
PDF file 3.6 MB

Use Adobe Acrobat Reader version 10 or higher for the best experience.


Purchase Print Copy

 FormatList Price Price
Add to Cart Paperback140 pages $15.00 $12.00 20% Web Discount

A study of the processing of questions input to a computerized question-answering system such as the RAND Relational Data File (see RM-5085). The process consists of (1) transforming the natural-language question into a symbolic question (i.e., a certain formula of predicate calculus) and (2) generating the answer by calculating the value set of the resulting formula. This study is addressed to the second step. A key problem is the identification of "reasonable" input queries. These are characterized by introducing the concept of definite formula. A particular class of definite formulas — the proper formulas — is especially suitable for machine processing. A set of machine-recognizable sufficient conditions for their identification is given, together with rules for calculating their value sets. The definite, but improper, formulas are also studied. It is shown that definite formulas without quantifiers can be transformed into proper equivalents. For definite formulas with quantifiers, limited but useful results are obtained.

Research conducted by

This report is part of the RAND Corporation research memorandum series. The Research Memorandum was a product of the RAND Corporation from 1948 to 1973 that represented working papers meant to report current results of RAND research to appropriate audiences.

Permission is given to duplicate this electronic document for personal use only, as long as it is unaltered and complete. Copies may not be duplicated for commercial purposes. Unauthorized posting of RAND PDFs to a non-RAND Web site is prohibited. RAND PDFs are protected under copyright law. For information on reprint and linking permissions, please visit the RAND Permissions page.

The RAND Corporation is a nonprofit institution that helps improve policy and decisionmaking through research and analysis. RAND's publications do not necessarily reflect the opinions of its research clients and sponsors.