KR, Logic in a few slides

 Sweet and short set of slides that speaks CS language in making the
argument of KR for ML, the authors  may be instructors at Princeton and do
not cite any literature, but do a good job at summarizing the main point-

Lecture 12: Knowledge Representation and
Reasoning Part 1: Logic
https://www.cs.princeton.edu/courses/archive/fall16/cos402/lectures/402-lec12.pdf
<https://www.google.com/url?sa=i&rct=j&q=&esrc=s&source=web&cd=&cad=rja&uact=8&ved=0CAQQw7AJahcKEwi40bXYiI37AhUAAAAAHQAAAAAQAw&url=https%3A%2F%2Fwww.cs.princeton.edu%2Fcourses%2Farchive%2Ffall16%2Fcos402%2Flectures%2F402-lec12.pdf&psig=AOvVaw1dCxdvDmEmj3r5EiLn5UGV&ust=1667395111043516>

Some may appreciate the presence of a penguin illustrating the argument