Frequently Bought Together
Customers Who Bought This Item Also Bought
Knowledge in Flux (Studies in Logic: Mathematical Logic and Foundations) by David Makinson |
Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science) by David Makinson |
by B. A. Davey
|
by Gerhard Brewka
|
The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing) by Kees Doets |
Product details
Would you like to update product info or give feedback on images?
|
Product Description
Synopsis
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.
Inside This Book
(Learn More)
Suggested Tags from Similar Products(What's this?)Be the first one to add a relevant tag (keyword that's strongly related to this product)
|
What Do Customers Ultimately Buy After Viewing This Item?
 |
97% buy the item featured on this page: Bridges from Classical to Nonmonotonic Logic (Texts in Computing)£10.00 |
 |
3% buy An Introduction to Lambda Calculi for Computer Scientists £10.00 |
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
 |
Listmania!
|
|
Look for similar items by category
Look for similar items by subject
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
Your Recent History
(What's this?)|
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. |
