Resumo
Este plano de trabalho propõe o desenvolvimento de um pacote denominado PPL (Propositional Probabilistic Logic), a ser distribuído livremente para a comunidade de pesquisa, que permita especificação e manipulação de fórmulas em lógica proposicional associadas a probabilidades. O trabalho integrará o projeto "Algoritmos para Inferência e Aprendizado para Lógica Probabilística com Relações …