Author: David Makinson
Edition:
Binding: Paperback
ISBN: 1904987001
Bridges from Classical to Nonmonotonic Logic (Texts in Computing)
Imagine a robot trying to size up a difficult situation, to find a way of responding. Get Bridges from Classical to Nonmonotonic Logic computer books for free.
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 Check Bridges from Classical to Nonmonotonic Logic our best computer books for 2013. All books are available in pdf format and downloadable from rapidshare, 4shared, and mediafire.
Bridges from Classical to Nonmonotonic Logic Free
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 They are also nonmonotonic, in the sense that the acquisition of further information, even when consistent with the existing
Related Computer Books
Programming Languages and Operational Semantics: An Introduction
This book provides a concise introduction to the essential concepts in programming languages, using techniques from operational semantics. It is addressed to undergraduate students, as a complement to programming languages or operational semantics
The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)
Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathematics.'' Where there was no shortcut for Alexander, there is no shortcut for us. Still
Modal Logic (Cambridge Tracts in Theoretical Computer Science)
This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical; prior acquaintance with first-order logic and its semantics is assumed, and familiarity
