格值一階邏輯系統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