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
Metrics and Models in Software Quality Engineering (2nd Edition)
The Cleanroom Methodology
Cost Effectiveness of Phase Defect Removal
Basic Assumptions
The Rayleigh Model Framework
Software Process Assessment Cycle
Snort Cookbook
Installing Snort on Solaris
Uninstalling Snort from Windows
Basic Rules You Shouldnt Leave Home Without
Installing and Configuring ACID
Creating a Reactive IDS
FileMaker Pro 8: The Missing Manual
Layout Mode
Advanced Relationship Techniques
Lookups
Exporting and Importing
Disable Script Steps
Postfix: The Definitive Guide
Email Topics
Starting Postfix the First Time
Separate Domains with Virtual Accounts
C.4. Installation
C.5. Compiling Add-on Packages
GO! with Microsoft Office 2003 Brief (2nd Edition)
Objective 1. Get Started with Windows XP
Skill Assessments
You and GO!
Objective 1. Export Access Data to Excel
Objective 1. Prepare a Mail Merge Document as Mailing Labels
HTI+ Home Technology Integrator & CEDIA Installer I All-In-One Exam Guide
Troubleshooting a Home Network
Home Access Control Systems
Integrating the Connected Home
Appendix A Home Technology Project Management
Appendix E CEDIA Installer Level I Classification System
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