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
Meyers R., Prentice-Hall, Inc., Upper Saddle River, NJ, 1992. Type: Book (9780137256235)
Oct 1 1992
Software engineering education: the educational needs of the software community
Fairley R., Gibbs N.  Software engineering education: the educational needs of the software community,Carnegie-Mellon Univ. Software Engineering Institute, Pittsburgh, PA,1987. Type: Whole Proceedings
Aug 1 1988
Fundamentals of computing I
Tucker A., Bradley W., Cupper R., Garnick D., McGraw-Hill, Inc., New York, NY, 1992. Type: Book (9780070654495)
Feb 1 1993

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy