01587nam a2200289 a 4500 vtls000070601 KUKTEM 20251125095353.0 130605t2011 enka f 001 0 eng d 9780521194822 (hardback) 9780521123365 (paperback) 201401071513 saini 201306051048 hairil UMP Q342 .G46 2011 Kowalski, Robert Computational logic and human thinking : how to be artificially intelligent / Robert Kowalski Cambridge : Cambridge University Press, 2011 xxii, 310 p. : ill. ; 23 cm. 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 Computational intelligence Logic, Symbolic and mathematical Famous problems Rhetoric Mathematics Communication Philosophy Critical thinking 0 0 0 0 20000 20000 2019-09-04 360.90 0 Q342 .G46 2011 0000079696 2019-09-04 00:00:00 1 360.90 2019-09-04 OPEN VIRTUA40 70709 70715 VTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*5040*5050*6500*6501*6502*6503*6504*9992