0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing

Buy Now

Bridges from Classical to Nonmonotonic Logic (Paperback) Loot Price: R705
Discovery Miles 7 050
Bridges from Classical to Nonmonotonic Logic (Paperback): D.C. Makinson

Bridges from Classical to Nonmonotonic Logic (Paperback)

D.C. Makinson

Series: Texts in Computing S., v. 5

 (sign in to rate)
Loot Price R705 Discovery Miles 7 050 | Repayment Terms: R66 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Kings College Publications
Country of origin: United Kingdom
Series: Texts in Computing S., v. 5
Release date: February 2005
First published: February 2005
Authors: D.C. Makinson
Dimensions: 229 x 152 x 13mm (L x W x T)
Format: Paperback - Trade
Pages: 236
ISBN-13: 978-1-904987-00-0
Categories: Books > Computing & IT > General theory of computing > General
Books > Computing & IT > Applications of computing > General
Promotions
LSN: 1-904987-00-1
Barcode: 9781904987000

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Systems Analysis And Design In A…
John Satzinger, Robert Jackson, … Hardcover  (1)
R1,334 R1,217 Discovery Miles 12 170
Oracle 12c - SQL
Joan Casteel Paperback  (1)
R1,375 R1,249 Discovery Miles 12 490
Systems Analysis And Design
Scott Tilley Hardcover R1,354 R1,232 Discovery Miles 12 320
Foundations Of Computer Science
Behrouz Forouzan Paperback R1,236 R1,133 Discovery Miles 11 330
Introduction to Computer Theory
Daniel I. A. Cohen Paperback  (4)
R7,080 Discovery Miles 70 800
Discovering Computers 2018 - Digital…
Misty Vermaat, Steven Freund, … Paperback R1,323 R1,206 Discovery Miles 12 060
Dynamic Web Application Development…
David Parsons, Simon Stobart Paperback R1,309 R1,192 Discovery Miles 11 920
Program Construction - Calculating…
Roland Backhouse Paperback R2,800 Discovery Miles 28 000
Introduction to the Theory of…
Michael Sipser Hardcover R1,322 R1,200 Discovery Miles 12 000
Discovering Computers, Essentials…
Susan Sebok, Jennifer Campbell, … Paperback R1,256 R1,144 Discovery Miles 11 440
Axiomatic Design - Advances and…
Nam P Suh Hardcover R6,473 Discovery Miles 64 730
Sociophysics: An Introduction
Parongama Sen, Bikas K. Chakrabarti Hardcover R3,757 Discovery Miles 37 570

See more

Partners