Computational Logic and Human Thinking
eBook - PDF

Computational Logic and Human Thinking

How to Be Artificially Intelligent

  1. English
  2. PDF
  3. Available on iOS & Android
eBook - PDF

Computational Logic and Human Thinking

How to Be Artificially Intelligent

About this book

The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented.

Frequently asked questions

Yes, you can cancel anytime from the Subscription tab in your account settings on the Perlego website. Your subscription will stay active until the end of your current billing period. Learn how to cancel your subscription.
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
Perlego offers two plans: Essential and Complete
  • Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
  • Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Both plans are available with monthly, semester, or annual billing cycles.
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Yes! You can use the Perlego app on both iOS or Android devices to read anytime, anywhere — even offline. Perfect for commutes or when you’re on the go.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Yes, you can access Computational Logic and Human Thinking by Robert Kowalski in PDF and/or ePUB format, as well as other popular books in Computer Science & Natural Language Processing. We have over one million books available in our catalogue for you to explore.

Table of contents

  1. Cover
  2. Computational Logic and Human Thinking How to be Artificially Intelligent
  3. Title
  4. Copyright
  5. Contents
  6. Preface
  7. Summary and plan of the book
  8. Introduction
  9. 1 Logic on the Underground
  10. 2 The psychology of logic
  11. 3 The fox and the crow
  12. 4 Search
  13. 5 Negation as failure
  14. 6 How to become a British Citizen
  15. 7 The louse and the Mars explorer
  16. 8 Maintenance goals as the driving force of life
  17. 9 The meaning of life
  18. 10 Abduction
  19. 11 The Prisoner’s Dilemma
  20. 12 Motivations matter
  21. 13 The changing world
  22. 14 Logic and objects
  23. 15 Biconditionals
  24. 16 Computational Logic and the selection task
  25. 17 Meta-logic
  26. Conclusions of the book
  27. A1 The syntax of logical form
  28. A2 Truth
  29. A3 Forward and backward reasoning
  30. A4 Minimal models and negation
  31. A5 The resolution rule
  32. A6 The logic of abductive logic programming
  33. References
  34. Index