推荐文档列表

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

时间:2021-12-12 13:16:53 数理化学论文 我要投稿

格值一阶逻辑系统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不确定性推理规则