格值一阶逻辑系统LF(X)中带广义量词的不确定性推理

时间:2023-04-27 08:36:36 数理化学论文 我要投稿
  • 相关推荐

格值一阶逻辑系统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