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
Crystal Reports 9 on Oracle (Database Professionals)
Oracle Structures
Oracle SQL
Oracle Advanced SELECT Options
Optimizing: The Oracle Side
Data Dictionary Report
Cisco IP Communications Express: CallManager Express with Cisco Unity Express
Building a Cisco IPC Express Network
Basic Calls Between Cisco CallManager and Cisco CME
Configuring and Managing Cisco IPC Express Systems
Cisco IPC Express System Configuration Example
Step 5: Configuring the PSTN Interface
A Practitioners Guide to Software Test Design
Case Studies
Pairwise Testing
State-Transition Testing
Use Case Testing
Section IV - Supporting Technologies
Competency-Based Human Resource Management
An Overview of Competency-Based HR Management Practices
A Need for Implementing Competency-Based HR Management
Competency-Based Employee Rewards
Competency-Based Employee Development
Appendix D Employee Development and Succession Management
Lotus Notes Developers Toolbox: Tips for Rapid and Successful Deployment
Working with Framesets
Custom LotusScript Functions and Routines
Generate a Document in Another Database
Create a Last Modified On Date Stamp
Using Static Popups to Display Help Messages
Telecommunications Essentials, Second Edition: The Complete Global Source (2nd Edition)
Local Area Networking
Circuit-Switched Networks
IPTV
Optical Networking
Antennas
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