An inductionless and default-based analysis of machine learning procedures