文献

J-GLOBAL ID：202002286356307998   整理番号：20A2640514

Coqにおける条件付き確率と結合分布による推論

Reasoning with Conditional Probabilities and Joint Distributions in Coq

著者 (3件)： AFFELDT Reynald (National Institute of Advanced Industrial Science and Technology) ,  GARRIGUE Jacques (Graduate School of Mathematics, Nagoya University) ,  SAIKAWA Takafumi (Graduate School of Mathematics, Nagoya University)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 37  号： 3  ページ： 3_79-3_95(J-STAGE)  発行年： 2020年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 確率は,通信理論や人工知能のようなコンピュータ科学の多くの応用分野で発生する。これらは,それらの実装の品質を保証するための検証のいくつかの形式を必要とする重要な適用である。残念なことに,確率は,表記の悪用を,紙と鉛筆により証明を定式化することが困難な,数学的理論の典型的な例でもある。本論文では,2つの適用で検証した条件付き確率の新しい形式化を実験した。最初に,情報理論の基礎定義と定理を定式化し,新しい補助定理により以前の研究を拡張した。第2に,条件付き独立性の概念とその特性を定式化し,確率的グラフモデル定式化のための道を開いた。(翻訳著者抄録)

シソーラス用語： *確率論 ,  *情報理論 ,  確率分布 ,  通信理論 ,  人工知能 ,  独立性 ,  確率モデル ,  依存性 ,  因果律
準シソーラス用語： AI【人工知能】 ,  確率的グラフィカルモデル ,  条件付確率

分類 (2件)： システム・制御理論一般  (IA02010H) ,  情報工学基礎理論一般  (JB01000T)

タイトルに関連する用語 (3件)： 条件付き確率 ,  分布 ,  推論