| 000 | 01587nam a2200289 a 4500 | ||
|---|---|---|---|
| 001 | vtls000070601 | ||
| 003 | KUKTEM | ||
| 005 | 20251125095353.0 | ||
| 008 | 130605t2011 enka f 001 0 eng d | ||
| 020 | _a9780521194822 (hardback) | ||
| 020 | _a9780521123365 (paperback) | ||
| 039 | 9 |
_a201401071513 _bsaini _y201306051048 _zhairil |
|
| 040 | _aUMP | ||
| 090 | _aQ342 .G46 2011 | ||
| 100 | 1 | _aKowalski, Robert | |
| 245 | 1 | 0 |
_aComputational logic and human thinking : _bhow to be artificially intelligent / _cRobert Kowalski |
| 260 |
_aCambridge : _bCambridge University Press, _c2011 |
||
| 300 |
_axxii, 310 p. : _bill. ; _c23 cm. |
||
| 504 | _aIncludes bibliographical references and index | ||
| 505 | 0 | _aIntroduction -- 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 | |
| 650 | 0 | _aComputational intelligence | |
| 650 | 0 |
_aLogic, Symbolic and mathematical _xFamous problems |
|
| 650 | 0 |
_aRhetoric _xMathematics |
|
| 650 | 0 |
_aCommunication _xPhilosophy |
|
| 650 | 0 | _aCritical thinking | |
| 999 |
_aVIRTUA40 _c70709 _d70715 |
||
| 999 | _aVTLSSORT0080*0200*0201*0400*0900*1000*2450*2600*3000*5040*5050*6500*6501*6502*6503*6504*9992 | ||