Download eBook for Free

FormatFile SizeNotes
PDF file 3.4 MB

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


Purchase Print Copy

 Format Price
Add to Cart Paperback140 pages $15.00

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 research memorandum series. The Research Memorandum was a product of RAND from 1948 to 1973 that represented working papers meant to report current results of RAND research to appropriate audiences.

This document and trademark(s) contained herein are protected by law. This representation of RAND intellectual property is provided for noncommercial use only. Unauthorized posting of this publication online is prohibited; linking directly to this product page is encouraged. Permission is required from RAND to reproduce, or reuse in another form, any of its research documents for commercial purposes. For information on reprint and reuse permissions, please visit

RAND 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.