ILP Discovery Task Using:

• a database language LD
• a hypothesis language LH
• an interestingness predicate d: LH ´ LD -> [0,1]
• a quality relation �q: P(LH) ´ P( LH) -> {true, false}

the ILPD(LD, LH,d, �q ) problem is the following:
  Given:

• a database D expressed in LD

Find:

• a hypothesis H Î P(LH)
• such that for all h ÎH: d(h,D) > 0

and for any other such H', not H' �q H.

---