Belnap-Dunn論理上の信念関数による推論【JST・京大機械翻訳】

Bilkova Marta; Frittella Sabine; Kozhemiachenko Daniil; Majer Ondrej; Nazari Sajad

プレプリント

J-GLOBAL ID：202202220210259559 整理番号：22P0297710

Belnap-Dunn論理上の信念関数による推論【JST・京大機械翻訳】

Reasoning with belief functions over Belnap--Dunn logic

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

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

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

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

矛盾と不完全確率情報で非自明な推論を可能にする信念と尤度関数を持つBelnap-Dunn論理の拡張を設計した。また,2つの方法における非標準確率と信念関数による推論を定式化した。第1に,線形不等式の計算を用いて, 石{FaginHalpernMegeddo1990}で提示されたものに対するアキンを示した。第2に,証拠による推論(外層)がL{}uka論理のパラコンシステント展開を利用する2層モード論理である。第2のアプローチは, ̄引用石{BaldiCintula Noguera2020}によって触発された。著者らは,両方の種類の結石に対する完全性を証明して,両方の方向で忠実な翻訳を確立することによってそれらの等価性を示した。【JST・京大機械翻訳】

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

人工知能 , 計算理論

, ,

前のページに戻る