。 正如在§§9和10中解釋的,基于t-范數(shù)的邏輯的標(biāo)準(zhǔn)方法,已經(jīng)以各種方式進(jìn)行了修改。最主要的背景思想是這些邏輯系統(tǒng)表達(dá)力的擴(kuò)充或修改。第一個(gè)對(duì)基于t-范數(shù)的系統(tǒng)語(yǔ)言標(biāo)準(zhǔn)詞匯的基本添加是在[巴茲1996]中提出的:對(duì)t-范數(shù)代數(shù)來 (本文共 1879 字 , 3 張圖 ) [閱讀本文] >>
海量資源,盡在掌握
。 正如在§§9和10中解釋的,基于t-范數(shù)的邏輯的標(biāo)準(zhǔn)方法,已經(jīng)以各種方式進(jìn)行了修改。最主要的背景思想是這些邏輯系統(tǒng)表達(dá)力的擴(kuò)充或修改。第一個(gè)對(duì)基于t-范數(shù)的系統(tǒng)語(yǔ)言標(biāo)準(zhǔn)詞匯的基本添加是在[巴茲1996]中提出的:對(duì)t-范數(shù)代數(shù)來 (本文共 1879 字 , 3 張圖 ) [閱讀本文] >>
開通會(huì)員,享受整站包年服務(wù)
說明: 本文檔由創(chuàng)作者上傳發(fā)布,版權(quán)歸屬創(chuàng)作者。若內(nèi)容存在侵權(quán),請(qǐng)點(diǎn)擊申訴舉報(bào)