r/MachineLearning - [D] Formal logic in ML

@machinelearnbot 

For someone who's interested in the ways in which formal logical systems are deployed in AI-related fields, in particular as models for machine learning, can anyone point: