Honey, I Shrunk the Hypothesis Space (Through LogicalPreprocessing)
inductive logic programming (ILP) is a form of logical machine learning. The goal is to search a hypothesis space for ahypothesis that generalises training examples and background knowledge. We introduce an approach that shrinks thehypothesis space before an ILP system searches it. Our approach uses background knowled…