Robert Kowalski, Computational Logic and Human Thinking: How to Be Artificially Intelligent, 2011

摘要

Any book containing a chapter entitled "The meaning of life" will certainly catch your attention. That's the Good News. The Bad News is that the life in question is that of a wood louse.rnwe've waited nearly three decades for a sequel to bob kowalski's seminal "logic for problem solving"; which became the bible of the logic programming community. in "computational logic and human thinking"; kowalski finally ends that wait with a book ostensibly aimed; not at the computing community; but at the lay public.