Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
David Makinson on classical methods for non-classical problems
Hansson S., Springer Publishing Company, Incorporated, New York, NY, 2014. 375 pp. Type: Book (978-9-400777-58-3)
Date Reviewed: May 30 2014

A fine bunch of authors present papers about the present status of the fields of work of an outstanding logician, David Makinson, in this book. Makinson is also invited to comment on the papers and offer some papers of his own.

Three areas are covered. The first is belief change, a field whose seminal paper, known by the initials of its authors, came from Alchourrón, Gärdenfors, and Makinson (AGM). There are five contributions, including one on the broader area of epistemic reasoning in life and literature by Rohit Parikh. The area of uncertain reasoning is where Makinson has written a book and some magisterial surveys, showing that nonmonotonic, and the more usual monotonic, reasoning can be treated in a single broad framework. There are three detailed contributions dealing with current work and posing open problems. The area of normative systems includes deontic logic, which deals with permissions and obligations. There are four contributions in this area, including one by John Horty, which treats an alternative to the AGM postulates from a legal perspective. The editor, Sven Ove Hansson, has written a nice preview, and with Peter Gärdenfors, an introduction to Makinson’s work in these three areas. Given that there are so many interesting topics discussed, I feel the editor could have spent some effort on a decent index (none is provided).

There is also a remarkable paper by Makinson on his academic career, which is more colorful than the usual staid rise to a professorship. The author offers opinions on many things that are notable for their perspicuity. For example, when considering a job at Oxford after completing a doctorate there, he says, “I was impatient with a culture where so much appeared to be an exercise in appearing clever rather than clarifying and ... settling matters.” He moved to Beirut and his observations on making that decision and on his life there are worth reading. Discussing teaching, Makinson recommends that students in philosophy, artificial intelligence, and computer science should know some logic, and before that, “they all need to know something about sets, relations, functions, structural recursion as a form of definition and induction as a method of proof piggybacking on it, as well as directed trees and finite probability.” He wrote a book [1] aimed at this audience.

I think that graduate students and researchers in the area of logic and artificial intelligence will especially benefit from reading this book, for the perspective it provides on what one should work on in these areas (tools and techniques) and how one should work in these areas (with clarity and precision). The book always addresses the reader at a theoretical and conceptual level, so those looking for programs will be disappointed.

This book is part of a series by Springer on the work of outstanding logicians, and I hope the other books in the series are as rewarding.

Reviewer:  K. Lodaya Review #: CR142340 (1408-0627)
1) Makinson, D. Sets, logic and maths for computing (2nd ed.). Springer, London, UK, 2012.
Bookmark and Share
 
Philosophical Foundations (I.2.0 ... )
 
 
Proof Theory (F.4.1 ... )
 
 
Applications And Expert Systems (I.2.1 )
 
 
Deduction And Theorem Proving (I.2.3 )
 
Would you recommend this review?
yes
no
Other reviews under "Philosophical Foundations": Date
Rethinking smart objects
Rasmus D. (ed), Cambridge University Press, New York, NY, 1999. Type: Book (9780521645492)
Mar 1 1999
Other bodies, other minds
Harnad S. Minds and Machines 1(1): 43-54, 1991. Type: Article
Nov 1 1991
Do the right thing
Russell S., Wefald E., MIT Press, Cambridge, MA, 1991. Type: Book (9780262181440)
Aug 1 1992
more...

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