(Eng: inference techniques) Methoden waarmee afleidingen en gevolgtrekkingen kunnen worden gemaakt.
(Eng: inference techniques) Methoden waarmee redeneringen kunnen worden uitgevoerd, deducties kunnen worden gemaakt en conclusies kunnen worden getrokken.