Book contents
- Frontmatter
- Contents
- Preface
- Summary and plan of the book
- 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
- A1 The syntax of logical form
- A2 Truth
- A3 Forward and backward reasoning
- A4 Minimal models and negation
- A5 The resolution rule
- A6 The logic of abductive logic programming
- References
- Index
Preface
Published online by Cambridge University Press: 07 September 2011
Book contents
- Frontmatter
- Contents
- Preface
- Summary and plan of the book
- 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
- A1 The syntax of logical form
- A2 Truth
- A3 Forward and backward reasoning
- A4 Minimal models and negation
- A5 The resolution rule
- A6 The logic of abductive logic programming
- References
- Index
Summary
Preface
The mere possibility of Artificial Intelligence (AI) – of machines that can think and act as intelligently as humans – can generate strong emotions. While some enthusiasts are excited by the thought that one day machines may become more intelligent than people, many of its critics view such a prospect with horror.
Partly because these controversies attract so much attention, one of the most important accomplishments of AI has gone largely unnoticed: the fact that many of its advances can also be used directly by people, to improve their own human intelligence. Chief among these advances is Computational Logic.
- Type
- Chapter
- Information
- Computational Logic and Human ThinkingHow to Be Artificially Intelligent, pp. ix - xiPublisher: Cambridge University PressPrint publication year: 2011