Knowledge-based Inductive Learning

The KBIL constraint

$\text{ Background }\wedge \text{ Hypothesis }\wedge \text{ Descriptions }\models \text{ Classifications }$