Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Thinking as computation : a first course
Levesque H., The MIT Press, Cambridge, MA, 2012. 328 pp.  Type: Book (978-0-262016-99-5)
Date Reviewed: May 18 2012

Can computers think? Well, some might ask if people can think... Is thinking a form of computation? Can mere symbolic processing be equated with thought? These questions have dogged the intellect at least since the days of von Neumann [1,2]. Hector J. Levesque, the author of this text, has an emphatic point of view affirmed by the title, and he does not spend time on philosophical debate with the other side. Thinking emphatically can be represented computationally, and the author shows the logical basis for the formulation as well as the programmatic implementation potential using PROLOG.

After two chapters on the conceptual basis for this approach, Levesque introduces the use of PROLOG over several increasingly detailed chapters, which will serve most introductory users of the language very well. Side details on installations, language variants, and language interface are addressed in appendices.

Seven chapters continue with stimulating case studies, which use PROLOG to demonstrate the ability to simulate thought through programmed computation. These studies cover topics that include interpreting visual scenes, understanding natural language, planning courses of action, and playing strategic games.

The philosophical and ethical meat is in the eight-page final chapter, “Can Computers Really Think?” Unfortunately, this is perhaps the least fleshed out section of the book, and the author gives little attention to the deep ethical and societal dimensions implicit in the book’s earlier material. Much more could have been accomplished in this dimension; however, given its orientation, this is an excellent resource for those who seek to represent “thinking” through computation in PROLOG. It is well worth reading.

Reviewer:  David Bellin Review #: CR140165 (1209-0914)
1) Macrae, N. John von Neumann: the scientific genius who pioneered the modern computer, game theory, nuclear deterrence, and much more. Amer. Math. Soc., New York, NY, 1999.
2) von Neumann, J. The computer and the brain (2nd ed.). Yale University Press, New Haven, CT, 2000.
Bookmark and Share
  Reviewer Selected
Featured Reviewer
Computer Science Education (K.3.2 ... )
Computer Uses in Education (K.3.1 )
Would you recommend this review?
Other reviews under "Computer Science Education": Date
Critical, transdisciplinary and embodied approaches in STEM education
Sengupta P., Shanahan M., Kim B.,  Springer International Publishing, New York, NY, 2019. 366 pp. Type: Book (978-3-030294-88-5)
Dec 8 2020
 The computer science activity book
Liu C., Johnson T.,  No Starch Press, San Francisco, CA, 2019. 32 pp. Type: Book (978-1-593279-10-3)
Dec 1 2020
 Identifying pathways to computer science: the long-term impact of short-term game programming outreach interventions
Lakanen A., Kärkkäinen T.  ACM Transactions on Computing Education (TOCE) 19(3): 1-30, 2019. Type: Article
Aug 31 2020

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy