We propose a notion of probabilistic proof for the multiplicative and additive fragment of linear logic (MALL) formulated in graphical (proof-nets) and sequential style (derivations). The definition of probabilistic proof is proved to be correct and complete with respect to the notion of Bayesian network that is a graphical model for representing joint probability distributions over a set of discrete (Boolean) random variables. Analogously to what happens with Bayesian networks, probabilistic proofs of linear logic are both an intelligible way of representing probabilities and an efficient method to reason about them.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Representation of Probabilities and Reasoning by Means of Proofs of Linear Logic

  • Roberto Maieli

摘要

We propose a notion of probabilistic proof for the multiplicative and additive fragment of linear logic (MALL) formulated in graphical (proof-nets) and sequential style (derivations). The definition of probabilistic proof is proved to be correct and complete with respect to the notion of Bayesian network that is a graphical model for representing joint probability distributions over a set of discrete (Boolean) random variables. Analogously to what happens with Bayesian networks, probabilistic proofs of linear logic are both an intelligible way of representing probabilities and an efficient method to reason about them.