Notes - MIECT
Inteligência Artificial
Notes - MIECT
Inteligência Artificial
  • Inteligência Artificial
  • Tópicos de Inteligência Artificial
    • Definição de “Inteligência”
    • História até à “Inteligência Artificial”
  • Agentes
    • Definição de “Agente”
    • Teste de Turing
    • A "Sala Chinesa" de Searle
    • Agentes Reactivos
    • Agentes Deliberativos
    • Arquiteturas
  • Representação do Conhecimento
    • Redes Semântica
      • GOLOG
      • UML / Diagramas de Classes
      • Indução versus Dedução
      • Em Python
    • Resolução e Refutação na Lógica de Primeira Ordem
    • Lógica Proposicional e Lógica de Primeira Ordem
      • Interpretações em Lógica Proposicional
      • Interpretações em Lógica de Primeira Ordem
      • Lógica - Regras de Substituição
      • CNF e Forma Clausal
      • Consequências Lógicas, Provas
      • Correcção, Completude
      • Metateoremas
      • Resolução não é Completa
      • Refutação por Resolução
      • Substituições, Unificação
      • Resolução com Claúsulas de Horn
    • Linguagem KIF
    • Engenharia do Conhecimento
    • Ontologias
    • Redes de Bayes
  • Técnicas de Resolução de Problemas
    • Resolução de problemas em IA
    • Formulação de problemas e pesquisa de soluções
    • Estratégias de pesquisa
      • Avaliação das estratégias de pesquisa
      • Pesquisa A*
        • Avaliação da Pesquisa em Árvore
      • IDA*
      • RBFS
      • SMA*
      • Pesquisa com propagação de restrições
      • Pesquisa por melhorias sucessivas
      • Planeamento
        • Aprendizagem
      • Árvores de decisão
      • Avaliação de algoritmos de aprendizagem supervisionada
  • Bayesian Networks
    • Ways to deal with Uncertainty
    • Discrete Random Variables
    • Probabilities
    • Conditional Probability
    • More General Forms of Bayes Rule
    • The Joint Distribution
    • Independence
    • Computing a Joint Entry
    • Exercises
Powered by GitBook
On this page
  1. Bayesian Networks

Conditional Probability

PreviousProbabilitiesNextMore General Forms of Bayes Rule

Last updated 2 years ago

P(A|B) = Fraction of worlds in which B is true that also have A true.

  • H = “Have a headache”

  • F = “Coming down with Flu”

  • P(H) = 1/10

  • P(F) = 1/40

  • P(H|F) = 1/2

“Headaches are rare and flu is rarer, but if you’re coming down with ‘flu there’s a 50-50 chance you’ll have a headache.”

P(H|F) = Fraction of flu-inflicted worlds in which you have a headache.

Definition of Conditional Probability.

  • P(A|B) = P(A ^ B) / P(B)

Corollary: The Chain Rule.

  • P(A ^ B) = P(A|B) P(B)

The Bayes Rule:

  • P(B|A) = P(A ^ B) / P(A) = P(A|B) P(B) / P(A)

Suppose A can take on more than 2 values.

A is a random variable with arity k if it can take on exactly one value out of {v1,v2, .. vk}.

Thus...

  • P(A=vi ∧ A=vj)=0 if i≠ j

  • P(A=v1∨ A=v2 ∨ A=vk) =1

From the previous axioms:

  • P(B∧[A=v1 ∨A=v2 ∨A=vi]) = ∑ P(B∧A=vj )

And thus we can prove

  • P(B) = ∑ P(B ∧ A = vj )