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
6 - How to become a British Citizen
Published online by Cambridge University Press: 07 September 2011
- 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
In this chapter we return to the topic of Chapters 1 and 2: the relationship between logic, natural language and the language of thought. We will look at the law regulating British Citizenship, which is the British Nationality Act 1981 (BNA), and see that its English style resembles the conditional style of Computational Logic (CL) (Sergot et al., 1986).
The BNA is similar to the London Underground Emergency Notice in its purpose of regulating human behaviour. But whereas the Emergency Notice relies on the common sense of its readers to achieve its desired effect, the BNA has the power of authority to enforce its provisions. The BNA differs from the Emergency Notice also in its greater complexity and the more specialised nature of its content.
- Type
- Chapter
- Information
- Computational Logic and Human ThinkingHow to Be Artificially Intelligent, pp. 77 - 91Publisher: Cambridge University PressPrint publication year: 2011