归纳逻辑(inductivelogic)