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.
Book Description
Frequently Bought Together
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
5.0 out of 5 stars
Great intro to nonmonotonic logic, need a bit of a logic background however,
Amazon Verified Purchase(What's this?)
This review is from: Bridges from Classical to Nonmonotonic Logic (Texts in Computing S.) (Paperback)
Makinson has a very thorough understanding of his topic, and is good at relating it in various terms to other backgrounds, including logicians, set theorists, and algebraists. I wish there was a bit more in terms of application to computing systems, but I can't really fault this book for that.
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
paraclassical consequence operation, left classical equivalence, partial meet consequence, current premiss, cumulative transitivity, comparative expectation inference, supraclassical consequence relations, singleton increments, preferential consequence, layered consequence, many elementary letters, full centering, background assumption sets, plain transitivity, screened consequence, cautious monotony, additional background assumptions, unique extension property, preferential model, rational monotony, some representation theorems, normal default rules, consequence iff, individual formulae, premiss sets Key Phrases - Capitalized Phrases (CAPs): (learn more)
Artificial Intelligence, Further Reading, Zorn's Lemma, General Patterns, Sherlock Holmes, Oxford University Press, Prove Observation, Consistency Preservation Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
paraclassical consequence operation, left classical equivalence, partial meet consequence, current premiss, cumulative transitivity, comparative expectation inference, supraclassical consequence relations, singleton increments, preferential consequence, layered consequence, many elementary letters, full centering, background assumption sets, plain transitivity, screened consequence, cautious monotony, additional background assumptions, unique extension property, preferential model, rational monotony, some representation theorems, normal default rules, consequence iff, individual formulae, premiss sets Key Phrases - Capitalized Phrases (CAPs): (learn more)
Artificial Intelligence, Further Reading, Zorn's Lemma, General Patterns, Sherlock Holmes, Oxford University Press, Prove Observation, Consistency Preservation Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Citations (learn more)
What Other Items Do Customers Buy After Viewing This Item?
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
