Knowledge-based Inductive Learning

The KBIL constraint

 Background ∧ Hypothesis ∧ Descriptions ⊨ Classifications \text { Background } \wedge \text { Hypothesis } \wedge \text { Descriptions } \models \text { Classifications }