格值一階邏輯系統(tǒng)LF(X)中帶廣義量詞的不確定性推理

討論格值一階邏輯系統(tǒng)LF(X)中帶廣義量詞的不確定性推理規(guī)則,和FMP、FMT規(guī)則.為研究帶廣義量詞的歸結(jié)自動(dòng)推理作準(zhǔn)備,也為研究語言值邏輯推理提供一階邏輯系統(tǒng)的基礎(chǔ)平臺.

作 者： 周平 姜明 徐揚(yáng) ZHOU Ping JIANG Ming XU Yang   作者單位： 周平,ZHOU Ping(四川師范大學(xué),數(shù)學(xué)系,四川,成都,610066)

姜明,JIANG Ming(西南民族大學(xué),電信學(xué)院,四川,成都,610041)

徐揚(yáng),XU Yang(西南交通大學(xué),智能控制中心,四川,成都,610031) 

刊 名： 模糊系統(tǒng)與數(shù)學(xué)  ISTIC PKU 英文刊名： FUZZY SYSTEMS AND MATHEMATICS  年，卷(期)： 2007 21(2)  分類號： O159  關(guān)鍵詞： 格值一階邏輯系統(tǒng)LF(X)   廣義量詞   FMP,FMT不確定性推理規(guī)則  

【格值一階邏輯系統(tǒng)LF(X)中帶廣義量詞的不確定性推理】相關(guān)文章：

量詞歌教案02-26

幼兒大班量詞教案02-24

簡單推理教案04-25

幼兒園教案量詞02-26

大班音樂教案量詞歌12-31

大班音樂量詞歌教案11-21

數(shù)學(xué)廣角推理教案02-24

數(shù)學(xué)廣角推理教案03-28

大班音樂游戲教案《量詞歌》09-29

幼兒大班量詞教案3篇02-24