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
Inside Network Security Assessment: Guarding Your IT Infrastructure
Risk Terminology
Choosing the Best Risk-Assessment Approach
Defining the Scope of the Assessment
Determining the Next Step
Statement of Work
MySQL Cookbook
Repeating and Editing Queries
Specifying Which Columns to Display
Randomizing a Set of Rows
Using Transactions in Perl Programs
Introduction
The Java Tutorial: A Short Course on the Basics, 4th Edition
What Is a Message?
Advantages of Exceptions
And the Rest…
Questions and Exercises
Why Is Runtime.runFinalizersOnExit Deprecated?
Lotus Notes Developers Toolbox: Tips for Rapid and Successful Deployment
An Introduction to LotusScript
Workflow Applications
Defining a Web Application
Add Field Validation to a Form
LotusScript Agent to Modify All Documents Containing a Specific Field Value
InDesign Type: Professional Typography with Adobe InDesign CS2
An InDesign Type Map: Where to Find Stuff
Balancing Ragged Lines
Right Indent Tab
Editing Styles
Anchored Objects
.NET-A Complete Development Cycle
Implementing the SmartNotes Application
References for Further Reading
Analysis of the Advanced GDI+ Extensions Requirements
Using Pens and Brushes in GDI+
Adding 3D Text to the Photo Editor Application
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