トランス有限様相論理:Bayes推論のための半定量的説明【JST・京大機械翻訳】

Wang Xinyu

プレプリント

J-GLOBAL ID：202202203838204654 整理番号：22P0327985

トランス有限様相論理:Bayes推論のための半定量的説明【JST・京大機械翻訳】

Transfinite Modal Logic: a Semi-quantitative Explanation for Bayesian Reasoning

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (1件)：
資料名：
発行年： 2022年04月02日プレプリントサーバーでの情報更新日： 2022年04月02日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

Bayes推論は,人間の合理性と機械学習の両方で重要な役割を果たす。本論文では,Bayes推論を半定量的に定式化するために,モード論理を順序演算と組み合わせたトランス有限モード論理を導入した。技術的に,著者らは最初に,順序演算の若干の非自明な特性を調査して,それは次に,新しいトランス有限モード論理に自然およびエレガントに正規のモード論理の意味論を拡張することを可能にし,一方,Kripkeモデルの通常定義をまだ完全に維持する。すべてのトランス有限数学的定義にもかかわらず,実際には,この論理が実際に完全に有限解釈に適合できると主張する。著者らは,トランス有限モード論理が,むしろ明確で単純な形式でBayes推論の本質を捉えることを示唆し,特に,Sherlock Holmesの有名な名称のための完全な説明を提供し,”When you”は,不可解なままであり,しかし,不可解なものは,真実であるに違いない。また,著者らの論理のための有限モデル特性定理の対応物を証明した。【JST・京大機械翻訳】

, , , , , , , , ,
, , 【Automatic Indexing@JST】

人工知能 , 論理代数 , システム・制御理論一般

, , , ,

前のページに戻る