Item description for Bridges from Classical to Nonmonotonic Logic by David Makinson...
Imagine a robot trying to size up a difficult situation, to find a way of responding. Its sensors receive streams of information from which it tries to reach judgements. If it relies on deduction alone, it will not get far, no matter how fast its inference engines; for even the most massive information is still typically incomplete: there are relevant issues that it does not resolve one way or the other. The robot, or human agent for that matter, needs to go beyond these limits. It needs to `go supraclassical', inferring more than is authorised by classical logic alone. But such inferences are inherently uncertain. They are also nonmonotonic, in the sense that the acquisition of further information, even when consistent with the existing stock, may lead us to abondon as well as add conclusions. Nonmonotonic logic is the study of such reasoning and has been the subject of intensive research for more than two decades. But for the newcomer it is still a disconcerting affair, lacking unity with many systems going in different directions. The purpose of this book is to take the mystery out of the subject, giving a clear overall picture of what is going on. It makes the essential ideas and main approaches to nonmonotonic logic accessible, and meaningful, to anyone with a few basic tools of discrete mathematics and a minimal background in classical propositional logic. It is written as a textbook, with detailed explanations, examples, comments, exercises and answers. Students and instructors alike will find it an invaluable guide.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 8.82" Width: 5.98" Height: 0.63" Weight: 0.75 lbs.
Release Date Feb 7, 2005
Publisher College Publications
ISBN 1904987001 ISBN13 9781904987000
Availability 138 units. Availability accurate as of Oct 27, 2016 08:49.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
More About David Makinson
David Makinson is currently Visiting Professor at London School of Economics (LSE). Previous affiliations include the Department of Computer Science at Kinga (TM)s College London, UNESCO in Paris, and the American University of Beirut in Lebanon. He is well known for his early research in modal and deontic logics, and more recently in the logic of belief change (as one of the founders of the AGM paradigm) and nonmonotonic reasoning.