Can I read Computational Logic and Human Thinking: How to be Artificially Intelligent on EtoBox?

Computational Logic and Human Thinking: How to be Artificially Intelligent by Kowalski, Robert is a book available to read on EtoBox.

What is Computational Logic and Human Thinking: How to be Artificially Intelligent about?

Cover 1 Computational Logic and Human Thinking How to be Artificially Intelligent 3 Title 5 Copyright 6 Contents 9 Preface 11 Summary and plan of the book 14 Introduction 14 Chapter 1: Logic on the Underground 15 Chapter 2: The psychology of logic 15 Chapter 3: The fox and the crow 16 Chapter 4: Search 16 Chapter 5: Negation as failure 16 Chapter 6: How to become a British Citizen 17 Chapter 7: The louse and the Mars explorer 17 Chapter 8: Maintenance goals as the driving force of life 18 Chapter 9: The meaning of life 18 Chapter 10: Abduction 19 Chapter 11: The Prisoner’s Dilemma 19 Chapter 12: Motivations matter 20 Chapter 13: The changing world 20 Chapter 14: Logic and objects 20 Chapter 15: Biconditionals 21 Chapter 16: Computational Logic and the selection task 21 Chapter 17: Meta-logic 22 Conclusions of the book 22 Chapter A1: The syntax of logical form 22 Chapter A2: Truth 23 Chapter A3: Forward and backward reasoning 23 Chapter A4: Minimal models and negation 23 Chapter A5: The resolution rule of inference 23 Chapter A6: The logic of abductive logic programming 24 Introduction 25 The relationship between logic and thinking 26 Computational Logic and the language of thought

Author

Kowalski, Robert

Language

EN