Reasoning about Uncertainty

by Joseph Y. Halpern

Book Overview

Uncertainty is a fundamental and unavoidable feature of daily life; in order to dealwith uncertaintly intelligently, we need to be able to represent it and reason about it. In thisbook, Joseph Halpern examines formal ways of representing uncertainty and considers various logicsfor reasoning about it. While the ideas presented are formalized in terms of definitions andtheorems, the emphasis is on the philosophy of representing and reasoning about uncertainty;...

• Format: Hardcover
• Language: English
• ISBN: 0262083205
• ISBN13: 9780262083201
• Release Date: January 2003
• Publisher: MIT Press (MA)
• Length: 483 Pages
• Weight: 0.05 lbs.
• Dimensions: 1.2" x 7.0" x 9.4"
• Age Range: 22 years and up
• Grade Range: Postsecondary and higher

Customer Reviews

clear, interesting, insightful

This book guides you through formal systems useful for reasoning about uncertainty. If you've ever wondered about the rationale for probability theory or for ways to overcome its limitation, this is the book for you. The author made an effort to make the book as self-contained as possible (a remarkable achievement given what it covers), so this book is very clear. The examples are short, but illuminating and motivating, so this book is interesting. The author always tries to justify why the axioms of a theory were chosen a certain way, so this book is insightful. Even if you have just a passing interest in probability theory, I highly recommend this book. It will not only give you reasons for the definitions in probability theory, but also powerful alternative (and often complementary) ways of reasoning about uncertainty.

Deep look at the logic of uncertainty

If you're completely at home with first-order logic and with probability, you're may be ready to extend some of those ideas. This book examines a range of topics that push logic and probability into wider, more interesting areas. After a brief introduction, Halpern introduces upper and lower probabilities representing partial knowledge, and other measures representing belief, plausibility, possibility, and necessity. These are built up in a rigorous way, but with plenty of physical significance at each step - these aren't just axiomatic systems put together for their inherent elegance. The next few chapters build up a logical sequence of constructs around these measures, including independence, conditioning, and expectation. I expected to see confidence intervals generalized into these terms, but Halpern may have considered those to be exercises for the reader. From these pieces, Halpern builds frameworks for real-world decision making. This includes the ability update knowledge (and ignorance) in the presence of new facts. It also includes modal logics, based on the variability of "truth" according to the time at which an assertion is made or the person by whom it it made, and "counterfactuals" that reason about events that could have occurred but didn't. And, whenever Halpern presents a new approach, he's also careful to point out where its weaknesses are. This isn't for beginners, by any means. The successful reader is flexible about the axioms to use in an analytic system, and is able and willing to follow along with dense logical notation. One should not expect this to cover the whole world of soft logics - traditional fuzziness gets only brief mention, for example. The best parts of this presentation extend familiar probabilistic terms (such as expectation) well beyond their original frameworks, creating a more unified view of various belief measures than I've seen elsewhere. If you have a serious interest in soft logic, formal reasoning, and mathematical tools for AI, I recommend this book very highly. -- wiredweird