文献

J-GLOBAL ID：202202281878163719   整理番号：22A1104937

不完全情報と正当化【JST・京大機械翻訳】

Incomplete Information and Justifications

著者 (4件)： Doder Dragan (Utrecht University, Utrecht, The Netherlands) ,  Ognjanovic Zoran (Mathematical Institute of Serbian Academy of Sciences and Arts, Belgrade, Serbia) ,  Savic Nenad (Institute of Computer Science, University of Bern, Bern, Switzerland) ,  Studer Thomas (Institute of Computer Science, University of Bern, Bern, Switzerland)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13206  ページ： 258-278  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 正当化公式の高次上下確率に関する推論のための論理を提示した。論理に対する音響と強い完全アキシマタイト化を提供した。さらに,導入した論理が既存の確率的正当化論理[数式:原文を参照]を一般化することを示した。Copyright The Author(s), under exclusive license to Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *確率 ,  音響

著者キーワード (4件)： 正当化論理 ,  確率論理 ,  上下確率 ,  強い完全性

分類 (2件)： 人工知能  (JE08000Z) ,  論理代数  (JB03000H)

タイトルに関連する用語 (1件)： 不完全情報