Are Formal Methods Applicable To Machine Learning And Artificial Intelligence?