ITL has been continuously developed by Ryszard S. Michalski, starting in the 1980s.
[1] In the ITL learning process is viewed as a search (inference) through hypotheses space guided by a specific goal.
[2] Inferences are split into multiple categories including conclusive, deduction, and induction.
In order for an inference to be considered complete it was required that all categories must be taken into account.
The most relevant published usage of ITL was in scientific journal published in 2012 and used ITL as a way to describe how agent-based learning works.