Penalize Removing Non-Facts

Penalize removing rules that are not facts. This is useful when you want to remove first facts, in cases where the instance is the one that can be blamed.

penalize-non-facts-removed.lp

Source

% Rule is in the reference program but not in the foil and has a body
cost(non_fact_removed(R), 1, 3) :- edge((_,R),_), program(R, ref), not program(R, foil).

Encoding

Rule is in the reference program but not in the foil and has a body

cost(non_fact_removed(R), 1, 3) :- edge((_,R),_), program(R, ref), not program(R, foil).