Raciocínio por Crença
Um corpo de evidência é caracterizado por um par (F,m), onde F é uma família de subconjuntos de ? e m é uma função de massa.
A função m é definida para todos os elementos de ? e todos os seus subconjuntos. Onde m é um valor que mede a quantidade de crença corretamente atribuída a um subconjunto de ? .
Se ? contém n elementos, então existem n! subconjuntos de ? . Entretanto muitos destes subconjuntos não tem significado para o domínio do problema (e portanto o valor de m a eles associado será 0).
A teoria de Dempster-Shafer não força crenças pelo desconhecimento de uma hipótese. Em vez disso a quantidade é designada somente aos subconjuntos do meio aos quais deseja-se designar crença.