Reasoning with Conditional Probabilities and Joint Distributions in Coq

DOI Web Site オープンアクセス

書誌事項

公開日
2020-07-22
資源種別
journal article
DOI
  • 10.11309/jssst.37.3_79
公開者
日本ソフトウェア科学会

この論文をさがす

説明

<p>Probabilities occur in many applications of computer science, such as communication theory and artificial intelligence. These are critical applications that require some form of verification to guarantee the quality of their implementations. Unfortunately, probabilities are also the typical example of a mathematical theory whose abuses of notations make pencil-and-paper proofs difficult to formalize. In this paper, we experiment a new formalization of conditional probabilities that we validate with two applications. First, we formalize the foundational definitions and theorems of information theory, extending previous work with new lemmas. Second, we formalize the notion of conditional independence and its properties, paving the road for a formalization of probabilistic graphical models.</p>

収録刊行物

関連プロジェクト

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ