Generating Candidate Specializations
- How do we generate Candidate-literals?
- Suppose the current rule (NewRule) is P(x1,x2,...xk)
←L1∧...∧Ln.
- FOIL considers new literals Ln+1 of the following form
- Q(v1,...,vr) where Q is any predicate in Predicates
and vi are variables, at least one of them must already
exist in the rule.
- Equal(x,y) where x and y are variables already in the
rule.
- The negation of any of these two.
José M. Vidal
.
22 of 47