Computational Logic and Human Thinking

ISBN-13: 9780521194822 / Angielski / Twarda / 2011 / 334 str.

Robert Kowalski

Opis

Learn how computational logic, as developed in artificial intelligence, can be applied to everyday situations.

Recenzje

'Artificial Intelligence (or AI) tries to program computers so that they can think intelligently like humans. In this book, one of the pioneers of AI suggests something new and original, namely to use the results of AI to improve human thinking … Anyone who wants to reason better and more effectively in everyday life should study Robert Kowalski's book.' Donald Gillies, University College London

Spis treści

Preface; Summary and plan of the book; 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; References; Index.