Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
6Activity
0 of .
Results for:
No results containing your search query
P. 1
How to Be Artificially Intelligent, Computational Logic and Human Thinking

How to Be Artificially Intelligent, Computational Logic and Human Thinking

Ratings: (0)|Views: 68 |Likes:
Published by IT Special Force

More info:

Published by: IT Special Force on Jun 02, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

11/18/2012

pdf

text

original

 
Computational Logic and Human Thinking
How to be Arti
cially Intelligent 
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.
robert kowalski
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.

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->