How to derive Hypotheses

• Remember sufficiency: B & H => E+

• We can reverse this using logical contrapositive

  • B & not(E+) => not(H)

• The two statements of negation are equivalent

  • but the second allows hypothesis to be deduced
  • using logic programming

• Special algorithms allow deduction of various H

• Built into ILP systems such as Progol, Golem, …

Previous slide

Next slide

Back to first slide

View graphic version