Map
Index
Random
Help
th

Quote: resolution search principles include purity (one may delete pure clauses), subsumption (C subsumes D if there is a substitution), and replacement (a resolvent may replace a subsumed clause)

QuoteRef: robiJA1_1965 , p. 38



Topic:
logic programming

Quotation Skeleton

The purity principle is … One may delete, from a finite set … Such principles … we call search principles … There is another search principle … Subsumption. If C and D are two distinct … [under which C is a subset of D. If so, D may be removed.] … [p.39] Suppose a resolvent R of C and … we may simultaneously delete … that one of C, D which R subsumes. … we name the principle involved the replacement principle. …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: logic programming (34 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.