Raciocínio Probabilístico
A teoria da probabilidade adota a frase epistêmica “...posto que C é conhecido” como uma primitiva da linguagem. Sintaticamente isto é denotado por:
onde A é uma dada proposição.
Esta frase combina as noções de conhecimento e crença pela atribuição à A de um grau de crença p, dado o conhecimento de C.
C é chamado de “contexto da crença em A”, e a notação P(A | C) é chamada “Probabilidade Condicional de Bayes”.
O teorema de Bayes provê a base para o tratamento da imperfeição da informação. Ele computa a probabilidade de um dado evento, dado um conjunto de observações.