Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski
Material type:
TextPublication details: Cambridge : Cambridge University Press, 2011Description: xxii, 310 p. : ill. ; 23 cmISBN: - 9780521194822 (hardback)
- 9780521123365 (paperback)
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
|
|
UMPLIB PEKAN | Q342 .G46 2011 (Browse shelf(Opens below)) | 1 | Available | 0000079696 |
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