Uncertainty: Probability, Syntax, and Inference in Uncertain Domains, Slides of Artificial Intelligence

The concept of uncertainty in artificial intelligence, focusing on probability theory, syntax, and inference. It covers topics such as uncertainty in actions, handling uncertainty with default logic and rules with fudge factors, and making decisions under uncertainty. The document also introduces the concepts of atomic events, axioms of probability, prior and conditional probability, and inference by enumeration.

Typology: Slides

2012/2013

Uploaded on 04/23/2013

saritae
saritae 🇮🇳

4.5

(10)

101 documents

1 / 24

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Uncertainty
Chapter 13
Docsity.com
pf3
pf4
pf5
pf8
pf9
pfa
pfd
pfe
pff
pf12
pf13
pf14
pf15
pf16
pf17
pf18

Partial preview of the text

Download Uncertainty: Probability, Syntax, and Inference in Uncertain Domains and more Slides Artificial Intelligence in PDF only on Docsity!

Uncertainty

Chapter 13

Docsity.com

Outline

• Uncertainty

• Probability

• Syntax and Semantics

• Inference

• Independence and Bayes' Rule

Docsity.com

Methods for handling uncertainty

  • Default or nonmonotonic logic:
  • Assume my car does not have a flat tire
  • Assume A 25 works unless contradicted by evidence
  • Issues: What assumptions are reasonable? How to handle

contradiction?

  • Rules with fudge factors:
  • A25 | →0.3 get there on time
  • Sprinkler | → (^) 0.99 WetGrass
  • WetGrass | → (^) 0.7 Rain
  • Issues: Problems with combination, e.g., Sprinkler causes Rain ??
  • Docsity.com

Probability

Probabilistic assertions summarize effects of

  • laziness: failure to enumerate exceptions, qualifications, etc.
  • ignorance: lack of relevant facts, initial conditions, etc.

Subjective probability:

  • Probabilities relate propositions to agent's own state of knowledge e.g., P(A 25 | no reported accidents) = 0.

These are not assertions about the world

Docsity.com

Syntax

  • Basic element: random variable
  • Similar to propositional logic: possible worlds defined by assignment of values to random variables.
  • Boolean random variables
  • e.g., Cavity (do I have a cavity?)
  • Discrete random variables
  • e.g., Weather is one of < sunny,rainy,cloudy,snow >
  • Domain values must be exhaustive and mutually exclusive
  • Elementary proposition constructed by assignment of a value to a
  • random variable: e.g., Weather = sunny , Cavity = false
  • (abbreviated as ¬ cavity )
  • Complex propositions formed from elementary propositions and standardDocsity.com

Syntax

• Atomic event: A complete specification of the

state of the world about which the agent is

uncertain

E.g., if the world consists of only two Boolean variables Cavity and Toothache , then there are 4 distinct atomic events:

Cavity = false ∧ Toothache = false

Cavity = false ∧ Toothache = true

Cavity = true ∧ Toothache = false

Cavity = true ∧ Toothache = true

• Atomic events are mutually exclusive and

Docsity.com

Prior probability

  • Prior or unconditional probabilities of propositions
  • e.g., P( Cavity = true) = 0.1 and P( Weather = sunny) = 0.72 correspond to belief prior to arrival of any (new) evidence
  • Probability distribution gives values for all possible assignments:
  • P ( Weather ) = <0.72,0.1,0.08,0.1> (normalized, i.e., sums to 1)
  • Joint probability distribution for a set of random variables gives the probability of every atomic event on those random variables
  • P ( Weather,Cavity ) = a 4 × 2 matrix of values:

Weather = sunny rainy cloudy snow Cavity = true 0.144 0.02 0.016 0. Cavity = false 0.576 0.08 0.064 0.

Docsity.com

Conditional probability

  • Conditional or posterior probabilities

e.g., P( cavity | toothache ) = 0.

i.e., given that toothache is all I know

  • (Notation for conditional distributions:

P ( Cavity | Toothache ) = 2-element vector of 2-element vectors)

  • If we know more, e.g., cavity is also given, then we have

P( cavity | toothache,cavity ) = 1

  • New evidence may be irrelevant, allowing simplification, e.g., Docsity.com

Inference by enumeration

  • Start with the joint probability distribution:
  • For any proposition φ, sum the atomic events where it is

true: P(φ) = Σ (^) ω:ω╞φ P(ω)

Docsity.com

Inference by enumeration

  • Start with the joint probability distribution:
  • For any proposition φ, sum the atomic events where it is

true: P(φ) = Σ (^) ω:ω╞φ P(ω)

  • P( toothache ) = 0.108 + 0.012 + 0.016 + 0.064 = 0.

Docsity.com

Inference by enumeration

  • Start with the joint probability distribution:
  • Can also compute conditional probabilities:

P(¬ cavity | toothache ) = P(¬ cavitytoothache ) P( toothache ) = 0.016+0. 0.108 + 0.012 + 0.016 + 0. = 0.4 Docsity.com

Normalization

  • Denominator can be viewed as a normalization constant α

P ( Cavity | toothache ) = α, P ( Cavity,toothache )

= α, [ P ( Cavity,toothache,catch ) + P ( Cavity,toothachecatch )] = α, [<0.108,0.016> + <0.012,0.064>] = α, <0.12,0.08> = <0.6,0.4>

General idea: compute distribution on query variable by fixing evidence

variables and summing over hidden variables

Docsity.com

Independence

  • A and B are independent iff

P ( A|B ) = P ( A ) or P ( B|A ) = P ( B ) or P (A, B) = P ( A ) P ( B )

P ( Toothache, Catch, Cavity, Weather ) = P ( Toothache, Catch, Cavity ) P ( Weather )

  • 32 entries reduced to 12; for n independent biased coins, O(2 n^ )

→ O(n)

  • Absolute independence powerful but rare
  • Dentistry is a large field with hundreds of variables, none of which

are independent. What to do? Docsity.com

Conditional independence

  • P ( Toothache, Cavity, Catch ) has 2 3 – 1 = 7 independent entries
  • If I have a cavity, the probability that the probe catches in it doesn't

depend on whether I have a toothache:

(1) P ( catch | toothache, cavity ) = P ( catch | cavity )

  • The same independence holds if I haven't got a cavity:

(2) P ( catch | toothache, ¬ cavity ) = P ( catch | ¬ cavity )

  • Catch is conditionally independent of Toothache given Cavity :

P ( Catch | Toothache,Cavity ) = P ( Catch | Cavity )

  • Equivalent statements: Docsity.com