文献

J-GLOBAL ID：202202251618534761   整理番号：22A0620388

未知の真実と偽信念:近傍意味論に対する完全性と表現性の結果【JST・京大機械翻訳】

Unknown Truths and False Beliefs: Completeness and Expressivity Results for the Neighborhood Semantics

著者 (2件)： Fan Jie (Institute of Philosophy, Chinese Academy of Sciences, Beijing, China) ,  Fan Jie (School of Humanities, University of Chinese Academy of Sciences, Beijing, China)
資料名： Studia Logica  (Studia Logica)
巻： 110  号： 1  ページ： 1-45  発行年： 2022年 
JST資料番号： W4974A  ISSN： 0039-3215  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 本論文では,近傍意味論の下での未知真実と誤り信念の論理を研究した。2つの論理の相対的表現を比較した。それは,それらが様々なクラスの近傍モデルに対して不和合であり,2つの論理の組合せが,あらゆるクラスの近隣モデルに関する標準モード論理として等しく表現できると判明する。フレーム定義可能性問題の探索を助け,一般的健全性と完全性結果を示し,文献におけるいくつかの結果を一般化できる,各論理に対する写像を提案した。近傍フレームのさまざまなクラス上の2つの論理を公知した。最も重要なことに,文献における交差意味論と部分集合意味論を採用することによって,著者らは,望ましい縮小アキシムを著者らに与えて,Moore文章,成功した公式,および自己精製式に関連した良い応用を有する,公開の名詞のケースに結果を拡大した。また,著者らは,交差意味論と部分集合意味論の比較メリットについて,何も知ることができる。Copyright Springer Nature B.V. 2021 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *意味論 ,  論理 ,  公理 ,  モデル ,  定義 ,  完全性 ,  不和合性 ,  健全性 ,  名詞
準シソーラス用語： 表現力 ,  公理化 , 【Automatic Indexing@JST】

著者キーワード (10件)： 未知の真実 ,  誤った信念 ,  事故 ,  近傍意味論 ,  モルフィズム ,  公理化 ,  表現性 ,  フレーム定義可能性 ,  交差点意味論 ,  サブセット意味論

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

タイトルに関連する用語 (5件)： 信念 ,  近傍 ,  意味 ,  完全性 ,  表現性