達成可能な知識とオムニサイエンス【JST・京大機械翻訳】

Naumov Pavel; Tao Jia

プレプリント

J-GLOBAL ID：202202207668399370 整理番号：21P0004410

達成可能な知識とオムニサイエンス【JST・京大機械翻訳】

Attainable Knowledge and Omniscience

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

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

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

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

本論文は,エピステリック論理のための証拠ベースの意味論を調査する。潜在的無限体の証拠から得られた知識の特性を,モード論理S5によって記述した。同時に,この体の有限部分集合だけから得られた知識の特性を,モード論理S4によって記述した。主な技術的結果は,これら2つのモダリティとそれらの相互作用の特性を記述する,音で完全なバイモーダル論理システムである。【JST・京大機械翻訳】

, , ,
, 【Automatic Indexing@JST】

人工知能 , 論理代数 , 計算理論

前のページに戻る