Computational Logic and Human Thinking
How to be Arti
The practical bene
ts of computational logic need not be limited to mathematics andcomputing. As this book shows, ordinary people in their everyday lives can pro
t fromthe recent advances that have been developed for arti
cial intelligence. The book drawsupon related developments in various
elds from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logicto improve the clarity and coherence of communication in natural languages such asEnglish.This book is essential reading for teachers and researchers who want to catch up withthe latest developments in computational logic. It will also be useful in anyundergraduate course that teaches practical thinking, problem solving or communicationskills. Its informal presentation makes the book accessible to readers from any background,butoptional,moreformal,chaptersarealsoincludedforthosewhoaremoretechnically oriented.
is Emeritus Professor and Research Investigator in theDepartment of Computing at Imperial College London. In 2011 he received the IJCAIAward for Research Excellence for his contributions to logic for knowledgerepresentation and problem solving, including his pioneering work on automatedtheorem proving and logic programming.