發(fā)布時(shí)間：2020-01-31 00:20

【摘要】：對不同否定知識的認(rèn)知、區(qū)分、表達(dá)、推理及計(jì)算是模糊知識研究處理的一個(gè)基礎(chǔ)。具有矛盾否定、對立否定和中介否定的模糊命題邏輯形式系統(tǒng)FL_(COM)是一種能夠完整描述模糊知識中的不同否定及其關(guān)系與規(guī)律的理論�；贔L_(COM)和中介模態(tài)命題邏輯MK,提出一類具有3種否定的模糊模態(tài)命題邏輯MK_(COM)及其擴(kuò)充系統(tǒng)MT_(COM),MS_(4COM)和MS_(5COM);討論了MK_(COM)的語義和語法解釋,并證明了MK_(COM)的可靠性定理和完備性定理。

【相似文獻(xiàn)】

相關(guān)期刊論文 前2條

1 王國俊;時(shí)慧嫻;;格值模態(tài)命題邏輯及其完備性[J];中國科學(xué):信息科學(xué);2011年01期

2 ;[J];;年期

相關(guān)會議論文 前5條

1 張家龍;;亞里士多德模態(tài)命題理論的現(xiàn)代解析[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會議專輯[C];2006年

2 郭澤深;胡浩;;真正的可能性和必然性[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

3 趙總寬;;辯證道義命題邏輯系統(tǒng)DDMT與道義實(shí)然世界語義學(xué)[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

4 趙總寬;;辯證模態(tài)命題邏輯系統(tǒng)DMT與實(shí)然世界語義學(xué)[A];1997年邏輯研究專輯[C];1997年

5 帖君;;雙珠式圖示[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

相關(guān)碩士學(xué)位論文 前1條

1 姚從軍;古典命題邏輯與模態(tài)命題邏輯[D];河南大學(xué);2005年

，

本文編號：2574864