{'fraction_non_alphanumeric': 0.012213740458015267, 'fraction_numerical': 0.0, 'mean_word_length': 5.368932038834951, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Ideal Refinement Operators for Theories in the OI-implication Generalization Model

Refinement operators for theories avoid the problems related to the myopia of many relational learning algorithms based on the operators that refine single clauses. Yet, the non-existence of ideal refinement operators has been proven for the standard clausal search spaces based on subsumption or logical implication, which scales up to the spaces of theories. In different generalization models constrained by the assumption of object identity, we extend the results on the existence of ideal refinement operators for spaces of clauses to the case of spaces of theories.