Computational logic and human thinking : how to be artificially intelligent
by
 
Kowalski, Robert.

Title
Computational logic and human thinking : how to be artificially intelligent

Author
Kowalski, Robert.

ISBN
9780521194822
 
9780521123365

Personal Author
Kowalski, Robert.

Publication Information
Cambridge ; New York : Cambridge University Press, 2011.

Physical Description
xxii, 310 pages : illustrations ; 24 cm

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.

Abstract
"The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented"-- Provided by publisher.
 
"The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English"-- Provided by publisher.

Subject Term
Computational intelligence.
 
Logic, Symbolic and mathematical -- Famous problems.
 
Rhetoric -- Mathematics.
 
Communication -- Philosophy.
 
Reasoning.
 
Critical thinking.

Electronic Access
EBSCO https://ezproxy.iielearn.ac.za/login?url=https://search.ebscohost.com/login.aspx?direct=true&db=e000xww&AN=375916&site=ehost-live&scope=site


LibraryMaterial TypeItem BarcodeShelf NumberCopy
1:RCBMFOPrescribed books002049015511.3 KOW1
IIE SandtonGeneral Books000157327511.3 KOW1
IIE SandtonGeneral Books000157328511.3 KOW2
RC BloemfonteinGeneral Books002083675511.3 KOW3
RC BloemfonteinGeneral Books002083673511.3 KOW4
RC BraamfonteinPrescribed books002039798511.3 KOW1
RC BraamfonteinPrescribed books002039792511.3 KOW2
RC BraamfonteinPrescribed books002039852511.3 KOW3
RC BraamfonteinPrescribed books002039853511.3 KOW4
RC BraamfonteinPrescribed books002046456511.3 KOW5
RC BraamfonteinPrescribed books002046457511.3 KOW6
RC BraamfonteinPrescribed books002046458511.3 KOW7
RC BraamfonteinPrescribed books002046930511.3 KOW8
RC PietermaritzburgGeneral Books002102600511.3 KOW1
RC Pretoria CBDPrescribed books002086326511.3 KOW1
RC Pretoria CBDPrescribed books002086329511.3 KOW2