TY  - BOOK
AU  - Kowalski,Robert
TI  - Computational logic and human thinking: how to be artificially intelligent 
SN  - 9780521194822 (hardback)
PY  - 2011///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Computational intelligence
KW  - Logic, Symbolic and mathematical
KW  - Famous problems
KW  - Rhetoric
KW  - Mathematics
KW  - Communication
KW  - Philosophy
KW  - Critical thinking
N1  - Includes bibliographical references and index; 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
ER  -