Inductive Logic Programming (ILP): A form of symbolic machine learning that infers generalised logic rules from specific examples and background knowledge. Hypothesis: In ILP, ...

The classical example is our inductive inference that the sun will rise tomorrow as it has every day of our existence. It’s a safe inference, but also one that could literally blow up at any time.