Flylib.com
Reasoning about Uncertainty
Reasoning about Uncertainty
ISBN: 0262582597
EAN: 2147483647
Year: 2005
Pages: 140
Authors:
Joseph Y. Halpern
BUY ON AMAZON
Table of Contents
BackCover
Reasoning About Uncertainty
Preface
Chapter 1: Introduction and Overview
1.1 Some Puzzles and Problems
1.2 An Overview of the Book
Notes
Chapter 2: Representing Uncertainty
2.1 Possible Worlds
2.2 Probability Measures
2.3 Lower and Upper Probabilities
2.4 Dempster-Shafer Belief Functions
2.5 Possibility Measures
2.6 Ranking Functions
2.7 Relative Likelihood
2.8 Plausibility Measures
2.9 Choosing a Representation
Exercises
Notes
Chapter 3: Updating Beliefs
3.1 Updating Knowledge
3.2 Probabilistic Conditioning
3.3 Conditioning with Sets of Probabilities
3.4 Evidence
3.5 Conditioning Inner and Outer Measures
3.6 Conditioning Belief Functions
3.7 Conditioning Possibility Measures
3.8 Conditioning Ranking Functions
3.9 Conditioning Plausibility Measures
3.10 Jeffrey s Rule
3.11 Relative Entropy
Exercises
Notes
Chapter 4: Independence and Bayesian Networks
4.1 Probabilistic Independence
4.2 Probabilistic Conditional Independence
4.3 Independence for Plausibility Measures
4.4 Random Variables
4.5 Bayesian Networks
Notes
Chapter 5: Expectation
5.1 Expectation for Probability Measures
5.2 Expectation for Other Notions of Likelihood
5.3 Plausibilistic Expectation
5.4 Decision Theory
5.5 Conditional Expectation
Exercises
Notes
Chapter 6: Multi-Agent Systems
6.1 Epistemic Frames
6.2 Probability Frames
6.3 Multi-Agent Systems
6.4 From Probability on Runs to Probability Assignments
6.5 Markovian Systems
6.6 Protocols
6.7 Using Protocols to Specify Situations
6.8 When Conditioning Is Appropriate
6.9 Non-SDP Systems
6.10 Plausibility Systems
Exercises
Notes
Chapter 7: Logics for Reasoning about Uncertainty
7.1 Propositional Logic
7.2 Modal Epistemic Logic
7.3 Reasoning about Probability: The Measurable Case
7.4 Reasoning about Other Quantitative Representations of Likelihood
7.5 Reasoning about Relative Likelihood
7.6 Reasoning about Knowledge and Probability
7.7 Reasoning about Independence
7.8 Reasoning about Expectation
Exercises
Notes
Chapter 8: Beliefs, Defaults, and Counterfactuals
8.1 Belief
8.2 Knowledge and Belief
8.3 Characterizing Default Reasoning
8.4 Semantics for Defaults
8.5 Beyond System P
8.6 Conditional Logic
8.7 Reasoning about Counterfactuals
8.8 Combining Probability and Counterfactuals
Exercises
Notes
Chapter 9: Belief Revision
9.1 The Circuit-Diagnosis Problem
9.2 Belief-Change Systems
9.3 Belief Revision
9.4 Belief Revision and Conditional Logic
9.5 Epistemic States and Iterated Revision
9.6 Markovian Belief Revision
Exercises
Notes
Chapter 10: First-Order Modal Logic
10.1 First-Order Logic
10.2 First-Order Reasoning about Knowledge
10.3 First-Order Reasoning about Probability
10.4 First-Order Conditional Logic
Exercises
Notes
Chapter 11: From Statistics to Beliefs
11.1 Reference Classes
11.2 The Random-Worlds Approach
11.3 Properties of Random Worlds
11.4 Random Worlds and Default Reasoning
11.5 Random Worlds and Maximum Entropy
11.6 Problems with the Random-Worlds Approach
Exercises
Notes
Chapter 12: Final Words
Notes
References
Glossary of Symbols
Index
Index_B
Index_C
Index_D
Index_E
Index_F
Index_G
Index_H
Index_I
Index_J
Index_K
Index_L
Index_M
Index_N
Index_O-P
Index_Q
Index_R
Index_S
Index_T
Index_U
Index_V
Index_W
Index_X-Y
Index_Z
List of Figures
Reasoning about Uncertainty
ISBN: 0262582597
EAN: 2147483647
Year: 2005
Pages: 140
Authors:
Joseph Y. Halpern
BUY ON AMAZON
Interprocess Communications in Linux: The Nooks and Crannies
The fork System Call Revisited
Ending a Process
Shared Memory Operations
Executing Remote Commands at a System Level
Multiplexing I/O with select
Adobe After Effects 7.0 Studio Techniques
Beyond the Basics
Linear Keyers and Hi-Con Mattes
Working Around Limitations
Dynamic Range
Particulate Matter
Twisted Network Programming Essentials
Building Simple Clients and Servers
Managing a Hierarchy of Resources
Using the REST Architecture for Web Services
Sending Mail Using SMTP
Mail Servers
Ruby Cookbook (Cookbooks (OReilly))
Making Sure a Sorted Array Stays Sorted
Listing a Directory
Automatically Initializing Instance Variables
XML and HTML
Setting and Retrieving Cookies
Lean Six Sigma for Service : How to Use Lean Speed and Six Sigma Quality to Improve Services and Transactions
Executing Corporate Strategy with Lean Six Sigma
Success Story #3 Fort Wayne, Indiana From 0 to 60 in nothing flat
Success Story #4 Stanford Hospital and Clinics At the forefront of the quality revolution
Phase 2 Engagement (Creating Pull)
Designing World-Class Services (Design for Lean Six Sigma)
Microsoft Office Visio 2007 Step by Step (Step By Step (Microsoft))
Working with 1-D and 2-D Shapes
Key Points
Key Points
Adding Door, Window, and Furniture Shapes to Office Layouts
Creating Network Diagrams
flylib.com © 2008-2017.
If you may any questions please contact us: flylib@qtcs.net
Privacy policy
This website uses cookies. Click
here
to find out more.
Accept cookies