Thoughts on John McCarthy's paper AI, Logic, and Formalizing Common Sense

gigasquidsoftware.com