ml-ilp-philosophical-induction

IN premise — entries/2026/06/21/wiki-Machine_learning-chunk-3.md

Created 2026-06-21T09:55:50+00:00

The 'inductive' in Inductive Logic Programming refers to philosophical induction (deriving theory from observations), not mathematical induction (proof over well-ordered sets)