Difference from inductive inference (1)

lThe LCM-semantics of **$****y.A(x,f,y) **is different from the standard definition of inductive inference

lInductive inference

•Functions to be
learned are finitely representable

•To be learned is the
**whole** picture (representation etc.) of the function