| 
|
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)
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.
Topic: logic programming (34 items)