2 Laboratório de Engenharia de Software – Departamento de Informática

Abstract

Abstract. Research in knowledge representation has explored several formalisms with logical and probabilistic features. In this paper we present three tools that support the development of probabilistic logic knowledge bases. The first tool is a generator of probabilistic propositional satisfiability (PSAT) problems that is useful in testing algorithms. The second tool is an consistency checker for PSAT that handles probabilities over CNFs. The third tool is a convenient editor for PSAT problems that simplifies the construction of knowledge bases. Resumo. A pesquisa em representação de conhecimento têm explorado diversos formalismos envolvendo aspectos lógicos e probabilísticos. Neste artigo apresentamos três ferramentas que dão suporte ao desenvolvimento de bases de conhecimento lógico-probabilísticas. A primeira ferramenta é um gerador de problemas de satisfatibilidade probabilística proposicional (PSAT), que é útil para testar algoritmos. A segunda ferramenta é um verificador de consistência em PSAT que lida com probabilidades sobre CNFs. A terceira ferramenta é um editor de problemas PSAT que simplifica a construção de bases de conhecimento. 1