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

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

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

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

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

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

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

量詞歌教案02-26

幼兒大班量詞教案02-24

簡單推理教案04-25

幼兒園教案量詞02-26

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

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

數學廣角推理教案02-24

數學廣角推理教案03-28

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

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