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
Java I/O
Input Streams
Formatter
Encoding Heuristics
Buffered Readers and Writers
Remote Devices
Microsoft Windows Server 2003(c) TCP/IP Protocols and Services (c) Technical Reference
Wide Area Network (WAN) Technologies
Internet Group Management Protocol (IGMP)
Transmission Control Protocol (TCP) Connections
Transmission Control Protocol (TCP) Retransmission and Time-Out
File and Printer Sharing
Microsoft VBScript Professional Projects
What Is VBScript?
Customizing the Desktop
Developing a Setup Script
Archive Management
Designing the Web Site
.NET System Management Services
.NET Framework and Windows Management Instrumentation
Querying WMI
Instrumenting .NET Applications with WMI
The WMI Schema
WMI Security
DNS & BIND Cookbook
Creating a Zone Data File
Filtering a Host Table into Zone Data Files
Using rndc with a Remote Name Server
Configuring a Name Server to Forward Queries to Another Name Server
Configuring a Caching-Only Name Server
Understanding Digital Signal Processing (2nd Edition)
Chapter One. Discrete Sequences and Systems
DISCRETE SEQUENCES AND THEIR NOTATION
THE COMMUTATIVE PROPERTY OF LINEAR TIME-INVARIANT SYSTEMS
REFERENCES
BLOCK FLOATING-POINT BINARY FORMAT
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