IN ARTIFICIAL INTELLIGENCE ; WS 2012-13 COMPUTATIONAL LOGIC AND HUMAN THINKING

This paper is about the first chapter of Robert Kowalski’s Book ”Computational Logic and Human Thinking” called ”Logic on the Underground”, where Kowalki tries to reveal the language of thought by looking at natural languages.