CSCE 420 Lecture 22

From Notes
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
    1. Calculate Priors (e.g. ): sum of all cells that satisfy probability independent of other variables
    2. Calculate Joints (e.g. )
    3. Calculate Conditionals (e.g.
Joint Probability Table
  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

  1. (Depends on correlation)