A Procedure for Thinking
A Procedure for Thinking
Chapter 1 showed that simple forms of thinking could be profitably understood as drawing conclusions from a large collection of sentences called a knowledge base. Leibniz's idea was that the rules of logic would tell how to manipulate these symbolic structures representing propositions the same way that the rules of arithmetic tell how to manipulate symbolic structures representing numbers. This chapter examines this symbolic manipulation as a computational procedure known as back-chaining. Section 2.1 looks at the types of sentences included in the knowledge base and introduces a small example. Section 2.2 examines the notion of logical entailment in a bit more detail. Section 2.3 presents the back-chaining procedure. Section 2.4 looks at some complex behavior of back-chaining involving variables. Section 2.5 summarizes very briefly what is good and less good about this procedure for thinking.
Keywords: back-chaining, knowledge base, thinking, computational procedure
MIT Press Scholarship Online requires a subscription or purchase to access the full text of books within the service. Public users can however freely search the site and view the abstracts and keywords for each book and chapter.
Please, subscribe or login to access full text content.
If you think you should have access to this title, please contact your librarian.
To troubleshoot, please check our FAQs, and if you can't find the answer there, please contact us.