Glauber De Bona [lattes] logic lógica probabilística probabilidades probabilistic logic probabilistic satisfiability psat revisão de crenças