Inverse Entailment Operators

• such that
• usually many s so use Minimum Description Length
• incorporating background knowledge allows a more rich definition of when the hypothesis is said to fit the data
• several practical difficulties:
• noisy training data
• first order logic is so expressive that the search is intractable - restricted forms of expression or additional second-order knowledge
• the complexity of the hypothesis space search increases as background knowledge is increased