Purchase Print Copy

 FormatList Price Price
Add to Cart Paperback22 pages $20.00 $16.00 20% Web Discount

In many cases an automatic deduction system cannot find complete proofs for particular theorems, goals, or questions requiring deductive support. In some cases information needed to complete proofs is missing from the database. In other cases processing limits may have been reached before proofs could be completed. Rather than disregarding such partial proofs as most systems do, the DADM system displays them to users and identifies subgoals that remain unresolved. Missing information is given in the form of partial, or conditional, answers. Examples are presented to show the value and importance of such partial proofs and partial answers.

This report is part of the RAND Corporation paper series. The paper was a product of the RAND Corporation from 1948 to 2003 that captured speeches, memorials, and derivative research, usually prepared on authors' own time and meant to be the scholarly or scientific contribution of individual authors to their professional fields. Papers were less formal than reports and did not require rigorous peer review.

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.