Computational logic and human thinking : how to be artificially intelligent

Publication Data

• Title Computational logic and human thinking : how to be artificially intelligent
• Author Robert Kowalski
• Publisher Cambridge University Press
• Publication date 2011
• Publication location Cambridge
• Language English

Contents

Introduction
1. Logic on the underground
2. The psychology of logic
3. The fox and the crow
4. Search
5. Negation as failure
6. How to become a British citizen
7. The louse and the Mars explorer
8. Maintenance goals as the driving force of life
9. The meaning of life
10. Abduction
11. The prisoner's dilemma
12. Motivations matter
13. The changing world
14. Logic and objects
15. Biconditionals
16. Computational logic and the selection task
17. Meta-logic
Conclusions of the book.

Topics

• Computational intelligence
• Logic, Symbolic and mathematical :: Famous problems
• Rhetoric :: Mathematics
• Communication :: Philosophy
• Reasoning
• 015757769

Computational logic and human thinking : how to be artificially intelligent by Robert Kowalski. ISBN 9780521194822. Published by Cambridge University Press in 2011. Publication and catalogue information, links to buy online and reader comments.