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

• 作者: 周平 姜明 徐扬
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 格值一阶逻辑系统LF(X) 广义量词 FMP,FMT不确定性推理规则
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 模糊集理论
• 页码范围: 40-45
• 页数: 6页
• 分类号: O159
• 字数: 3699字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-7402.2007.02.007

摘要

讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则.为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐扬	西南交通大学智能控制中心	186	1462	15.0	32.0
2	周平	四川师范大学数学系	24	63	5.0	6.0
3	姜明	西南民族大学电信学院	50	98	5.0	6.0