Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | 30000010205736 | Q375 H34 2005 | Open Access Book | Book | Searching... |
On Order
Summary
Summary
Uncertainty is a fundamental and unavoidable feature of daily life; in order to deal with uncertaintly intelligently, we need to be able to represent it and reason about it. In this book, Joseph Halpern examines formal ways of representing uncertainty and considers various logics for reasoning about it. While the ideas presented are formalized in terms of definitions and theorems, the emphasis is on the philosophy of representing and reasoning about uncertainty; the material is accessible and relevant to researchers and students in many fields, including computer science, artificial intelligence, economics (particularly game theory), mathematics, philosophy, and statistics.
Halpern begins by surveying possible formal systems for representing uncertainty, including probability measures, possibility measures, and plausibility measures. He considers the updating of beliefs based on changing information and the relation to Bayes' theorem; this leads to a discussion of qualitative, quantitative, and plausibilistic Bayesian networks. He considers not only the uncertainty of a single agent but also uncertainty in a multi-agent framework. Halpern then considers the formal logical systems for reasoning about uncertainty. He discusses knowledge and belief; default reasoning and the semantics of default; reasoning about counterfactuals, and combining probability and counterfactuals; belief revision; first-order modal logic; and statistics and beliefs. He includes a series of exercises at the end of each chapter.
Reviews 1
Choice Review
Any individual who has taught probability knows that certain errors, confusions, and paradoxes arise without the proper mastery and application of the axiomatic theory. Unfortunately, embracing these axioms requires sometimes forbidding reasonable questions, sometimes offering useless answers. For example, patients cannot meaningfully request their personal probabilities of recovery, and concerning whether they currently have a given disease, the probability simply equals 0 or 1--but, who knows which amount? Conventional probability deals with frequencies but avoids modeling issues such as knowledge, belief, possibility, and plausibility--all the domain of modal logic. This book builds a marriage of modal logic and probability for a more robust model for natural human reasoning than either alone supports. The author does not expect experts in probability to have preparation in formal logic or vice-versa, so undergraduates benefit both ways from the very patient treatment of fundamentals. Readers who know probability learn to ask again what once they learned not to. A wealth of ingenious examples problematize (overly) familiar and seemingly elementary concepts (e.g., the second-ace puzzle features a conventionally correct calculation that produces a counterintuitive answer--many chapters later, a new framework reveals a hidden interpretation mandating a different calculation that supports the original intuition). Summing Up: Recommended. Upper-division undergraduates and above; researchers and faculty. --David V. Feldman, University of New Hampshire
Table of Contents
Preface | p. xiii |
1 Introduction and Overview | p. 1 |
1.1 Some Puzzles and Problems | p. 1 |
1.2 An Overview of the Book | p. 4 |
Notes | p. 10 |
2 Representing Uncertainty | p. 11 |
2.1 Possible Worlds | p. 12 |
2.2 Probability Measures | p. 14 |
2.2.1 Justifying Probability | p. 17 |
2.3 Lower and Upper Probabilities | p. 24 |
2.4 Dempster-Shafer Belief Functions | p. 32 |
2.5 Possibility Measures | p. 40 |
2.6 Ranking Functions | p. 43 |
2.7 Relative Likelihood | p. 45 |
2.8 Plausibility Measures | p. 50 |
2.9 Choosing a Representation | p. 54 |
Exercises | p. 56 |
Notes | p. 64 |
3 Updating Beliefs | p. 69 |
3.1 Updating Knowledge | p. 69 |
3.2 Probabilistic Conditioning | p. 72 |
3.2.1 Justifying Probabilistic Conditioning | p. 77 |
3.2.2 Bayes' Rule | p. 79 |
3.3 Conditioning with Sets of Probabilities | p. 81 |
3.4 Evidence | p. 84 |
3.5 Conditioning Inner and Outer Measures | p. 89 |
3.6 Conditioning Belief Functions | p. 92 |
3.7 Conditioning Possibility Measures | p. 95 |
3.8 Conditioning Ranking Functions | p. 97 |
3.9 Conditioning Plausibility Measures | p. 97 |
3.9.1 Constructing Conditional Plausibility Measures | p. 99 |
3.9.2 Algebraic Conditional Plausibility Spaces | p. 101 |
3.10 Jeffrey's Rule | p. 105 |
3.11 Relative Entropy | p. 107 |
Exercises | p. 110 |
Notes | p. 116 |
4 Independence and Bayesian Networks | p. 121 |
4.1 Probabilistic Independence | p. 121 |
4.2 Probabilistic Conditional Independence | p. 124 |
4.3 Independence for Plausibility Measures | p. 126 |
4.4 Random Variables | p. 129 |
4.5 Bayesian Networks | p. 132 |
4.5.1 Qualitative Bayesian Networks | p. 132 |
4.5.2 Quantitative Bayesian Networks | p. 135 |
4.5.3 Independencies in Bayesian Networks | p. 139 |
4.5.4 Plausibilistic Bayesian Networks | p. 141 |
Exercises | p. 143 |
Notes | p. 146 |
5 Expectation | p. 149 |
5.1 Expectation for Probability Measures | p. 150 |
5.2 Expectation for Other Notions of Likelihood | p. 153 |
5.2.1 Expectation for Sets of Probability Measures | p. 153 |
5.2.2 Expectation for Belief Function | p. 155 |
5.2.3 Inner and Outer Expectation | p. 159 |
5.2.4 Expectation for Possibility Measures and Ranking Functions | p. 161 |
5.3 Plausibilistic Expectation | p. 162 |
5.4 Decision Theory | p. 164 |
5.4.1 The Basic Framework | p. 164 |
5.4.2 Decision Rules | p. 166 |
5.4.3 Generalized Expected Utility | p. 170 |
5.5 Conditional Expectation | p. 176 |
Exercises | p. 177 |
Notes | p. 185 |
6 Multi-Agent Systems | p. 189 |
6.1 Epistemic Frames | p. 190 |
6.2 Probability Frames | p. 193 |
6.3 Multi-Agent Systems | p. 196 |
6.4 From Probability on Runs to Probability Assignments | p. 201 |
6.5 Markovian Systems | p. 205 |
6.6 Protocols | p. 207 |
6.7 Using Protocols to Specify Situations | p. 210 |
6.7.1 A Listener-Teller Protocol | p. 210 |
6.7.2 The Second-Ace Puzzle | p. 213 |
6.7.3 The Monty Hall Puzzle | p. 216 |
6.8 When Conditioning Is Appropriate | p. 217 |
6.9 Non-SDP Systems | p. 221 |
6.10 Plausibility Systems | p. 231 |
Exercises | p. 232 |
Notes | p. 235 |
7 Logics for Reasoning about Uncertainty | p. 239 |
7.1 Propositional Logic | p. 240 |
7.2 Modal Epistemic Logic | p. 243 |
7.2.1 Syntax and Semantics | p. 244 |
7.2.2 Properties of Knowledge | p. 245 |
7.2.3 Axiomatizing Knowledge | p. 249 |
7.2.4 A Digression: The Role of Syntax | p. 251 |
7.3 Reasoning about Probability: The Measurable Case | p. 254 |
7.4 Reasoning about Other Quantitative Representations of Likelihood | p. 260 |
7.5 Reasoning about Relative Likelihood | p. 263 |
7.6 Reasoning about Knowledge and Probability | p. 268 |
7.7 Reasoning about Independence | p. 271 |
7.8 Reasoning about Expectation | p. 273 |
7.8.1 Syntax and Semantics | p. 273 |
7.8.2 Expressive Power | p. 274 |
7.8.3 Axiomatizations | p. 275 |
Exercises | p. 278 |
Notes | p. 283 |
8 Beliefs, Defaults, and Counterfactuals | p. 287 |
8.1 Belief | p. 288 |
8.2 Knowledge and Belief | p. 291 |
8.3 Characterizing Default Reasoning | p. 292 |
8.4 Semantics for Defaults | p. 294 |
8.4.1 Probabilistic Semantics | p. 295 |
8.4.2 Using Possibility Measures, Ranking Functions, and Preference Orders | p. 298 |
8.4.3 Using Plausibility Measures | p. 301 |
8.5 Beyond System P | p. 306 |
8.6 Conditional Logic | p. 311 |
8.7 Reasoning about Counterfactuals | p. 314 |
8.8 Combining Probability and Counterfactuals | p. 317 |
Exercises | p. 318 |
Notes | p. 327 |
9 Belief Revision | p. 331 |
9.1 The Circuit-Diagnosis Problem | p. 332 |
9.2 Belief-Change Systems | p. 339 |
9.3 Belief Revision | p. 342 |
9.4 Belief Revision and Conditional Logic | p. 354 |
9.5 Epistemic States and Iterated Revision | p. 356 |
9.6 Markovian Belief Revision | p. 359 |
Exercises | p. 361 |
Notes | p. 363 |
10 First-Order Modal Logic | p. 365 |
10.1 First-Order Logic | p. 366 |
10.2 First-Order Reasoning about Knowledge | p. 373 |
10.3 First-Order Reasoning about Probability | p. 376 |
10.4 First-Order Conditional Logic | p. 381 |
Exercises | p. 390 |
Notes | p. 392 |
11 From Statistics to Beliefs | p. 395 |
11.1 Reference Classes | p. 396 |
11.2 The Random-Worlds Approach | p. 398 |
11.3 Properties of Random Worlds | p. 403 |
11.4 Random Worlds and Default Reasoning | p. 411 |
11.5 Random Worlds and Maximum Entropy | p. 416 |
11.6 Problems with the Random-Worlds Approach | p. 420 |
Exercises | p. 423 |
Notes | p. 429 |
12 Final Words | p. 431 |
Notes | p. 433 |
References | p. 435 |
Glossary of Symbols | p. 459 |