Jump to ContentJump to Main Navigation
Thinking as ComputationA First Course$
Users without a subscription are not able to see the full content.

Hector J. Levesque

Print publication date: 2012

Print ISBN-13: 9780262016995

Published to MIT Press Scholarship Online: August 2013

DOI: 10.7551/mitpress/9780262016995.001.0001

Show Summary Details
Page of

PRINTED FROM MIT PRESS SCHOLARSHIP ONLINE (www.mitpress.universitypressscholarship.com). (c) Copyright The MIT Press, 2022. All Rights Reserved. An individual user may print out a PDF of a single chapter of a monograph in MITSO for personal use.date: 26 May 2022

Case Study: Other Ways of Thinking

Case Study: Other Ways of Thinking

(p.238) (p.239) * 11 Case Study: Other Ways of Thinking
Thinking as Computation

Levesque Hector J.

The MIT Press

This chapter considers other ways of thinking, that is to say, other ways of using what is known. Section 11.1 reexamines back-chaining as the starting point for discussing the other ways of thinking. Sections 11.2, 11.3, and 11.4 discuss explanation, learning, and propositional reasoning, respectively. There is something of a paradox in using Prolog and back-chaining to look at new ways of thinking that go beyond back-chaining. And as the paradox is resolved, thinking itself will end up becoming the subject matter of the thinking. This reinterpretation will require a major conceptual shift, and this chapter is the most technically challenging one in the book.

Keywords:   Prolog programming, back-chaining, thinking, learning, explanation, propositional reasoning

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.