Refinement Operator

From GM-RKB
Jump to: navigation, search

A Refinement Operator can alter the current Model.

  • Example(s):
    • One can substitute a literal for another, or one can add a literal to the body of a clause.
  • See: Inductive Logic Programming