Resumo
O objetivo deste trabalho é desenvolver algoritmos para inferência em lógica probabilística usando a perspectiva de computação local - ou seja, supondo que as sentenças a serem processadas apresentem certa "estrutura" local, e que esta estrutura possa ser utilizada para aumentar a eficiência computacional. Nos últimos anos vários algoritmos têm sido propostos para inferência em lógica (pr…