FoundationalareasProbabilisticinferenceStatisticallearningLogicalinferenceInductivelogicprogramming