no code implementations • 26 Jun 2022 • Fabio Aurelio D'Asaro, Francesco Genco, Giuseppe Primiero
In this paper we present the probabilistic typed natural deduction calculus TPTND, designed to reason about and derive trustworthiness properties of probabilistic computational processes, like those underlying current AI applications.