文献

J-GLOBAL ID：201702272221714662   整理番号：17A1291081

三つの否定的ファジィ様相命題論理を持つ。【JST・京大機械翻訳】

Fuzzy Modal Propositional Logic with Three Kinds of Negation

著者 (3件)： Chen Cheng (江南大学理学院 无錫 214122) ,  Pan Zhenghua (江南大学理学院 无錫 214122) ,  Lv Yongxi (江南大学理学院 无錫 214122)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 44  号： 4  ページ： 263-268  発行年： 2017年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 異なる否定知識に対する認識、区分、表現、推理及び計算はファジィ知識研究の処理の基礎である。矛盾否定、対立否定と仲介否定を持つファジィ命題論理形式システムFLCOMは、ファジィ知識における異なる否定とその関係と規律を完全に記述できる理論である。FLCOMと仲介モード命題論理MKに基づいて、3種類の否定を持つファジィ様相命題論理VKCOMとその拡張システムMTCOM、MS4 COMとMS5COMを提案した。MKCOMの意味論と構文論的解釈について議論し,MKCOMの信頼性定理と完全性定理を証明した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 意味論 ,  *曖昧さ ,  構文論 ,  *命題論理 ,  信頼性 ,  完全性
準シソーラス用語： 矛盾 , 【Automatic Indexing@JST】

著者キーワード (3件)： Fuzzy propositional logic formal system ,  Medium modal propositional logic ,  Fuzzy modal propositional logic

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (2件)： ファジィ ,  命題論理