抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Bayes推論は,人間の合理性と機械学習の両方で重要な役割を果たす。本論文では,Bayes推論を半定量的に定式化するために,モード論理を順序演算と組み合わせたトランス有限モード論理を導入した。技術的に,著者らは最初に,順序演算の若干の非自明な特性を調査して,それは次に,新しいトランス有限モード論理に自然およびエレガントに正規のモード論理の意味論を拡張することを可能にし,一方,Kripkeモデルの通常定義をまだ完全に維持する。すべてのトランス有限数学的定義にもかかわらず,実際には,この論理が実際に完全に有限解釈に適合できると主張する。著者らは,トランス有限モード論理が,むしろ明確で単純な形式でBayes推論の本質を捉えることを示唆し,特に,Sherlock Holmesの有名な名称のための完全な説明を提供し,”When you”は,不可解なままであり,しかし,不可解なものは,真実であるに違いない。また,著者らの論理のための有限モデル特性定理の対応物を証明した。【JST・京大機械翻訳】