Title: Probabilistic logic