Deleting literals of an operationalization
State Representation: O(2|clause|)
- Set of Positive Tuples
- Set of Negative Tuples
- Body (Conjunction) Initialized to operationalization
Operators: Delete a literal
Evaluation Function: Information Gain; Accuracy