CSCE 420 Lecture 22
Jump to navigation
Jump to search
« previous | Tuesday, April 9, 2013 | next »
Probability
Uncertainty in AI
Limitations of First-Order Logic: handling exceptions to the rules
- Universal rules
Most birds fly:
- Default Logic: bird(x)/flies(x) → flies(x)
Strength of rules in expert systems = "certainty factors"people gave up on certainty factors in favor of probability- headache(x) →0.1 meningitis(x)
- toothache(x) →0.6 cavity(x)
- Conditional Probability
- = 0.6 (read "probability of having a cavity given a toothache")
Applications
- Diagnosis in engineering systems
- Decision-making in uncertain environments
- "rational" decision-making: take action that maximizes expected (weighted by probability) outcome/payoff
Definitions and Axioms
- = Probability of an event
- , and
- (joint probability; product rule) [1]
- is prior probability, and
- is the conditional probability
Interpretations
- Frequentist: (Objectivist, Empiricist) probabilities are estimates of outcomes of repeated experiments
- Subjective: beliefs and don't have to be tied to repeatable events
- Stochastic: Lazy (don't want to quantify all relevant factors); ignorance
Example
3 Vars:
- catch, cavity, and toothache
- JPT enumerates all possibilities (23 for 3 binary variables) and their probability
- Calculations
- Calculate Priors (e.g. ): sum of all cells that satisfy probability independent of other variables
- Calculate Joints (e.g. )
- Calculate Conditionals (e.g.
Toothache | ¬Toothache | |||
---|---|---|---|---|
Catch | ¬Catch | Catch | ¬Catch | |
Cavity | 0.108 | 0.012 | 0.072 | 0.008 |
¬Cavity | 0.016 | 0.064 | 0.144 | 0.576 |
- Marginalization
- "summing out" unknown variables
- Normalization
- Conditional probabilities are proportional to joint probabilities
- , so
- Normalization constant
In Practice
We can find
We have conditional probabilities as causal relationships, but we want them as diagnostic relationships:
- We use Bayes' Rule for this:
Bayes' Rule
Proof
From product rule, we have
Take the second part of this equality and divide by B:
Q.E.D.
Conditional Independence Assumption
Footnotes
- ↑ (Depends on correlation)