¿Qué es la inferencia y cuáles son sus clases?