|
|||||
|
|
| 格值一阶逻辑系统LF(X)中带广义量词的不确定性推理 | |
| 引用本文： | 周平,姜明,徐扬.格值一阶逻辑系统LF(X)中带广义量词的不确定性推理[J].模糊系统与数学,2007,21(2):40-45. |
| 作者姓名： | 周平 姜明 徐扬 |
| 作者单位： | 1. 四川师范大学,数学系,四川,成都,610066 2. 西南民族大学,电信学院,四川,成都,610041 3. 西南交通大学,智能控制中心,四川,成都,610031 |
| 基金项目： | 国家自然科学基金 , 四川师范大学校科研和教改项目 |
| 摘 要： | 讨论格值一阶逻辑系统LF(X)中带广义量词的不确定性推理规则,和FMP、FMT规则。为研究带广义量词的归结自动推理作准备,也为研究语言值逻辑推理提供一阶逻辑系统的基础平台。 |
| 关 键 词： | 格值一阶逻辑系统LF(X) 广义量词 FMP FMT不确定性推理规则 |
| 文章编号： | 1001-7402（2007）02-0040-06 |
| 收稿时间： | 2005-12-05 |
| 修稿时间： | 2005年12月5日 |
Uncertainty Reasoning with Generalized Quantifier in the L-value First-order Logic LF(X) |
|
| ZHOU Ping,JIANG Ming,XU Yang.Uncertainty Reasoning with Generalized Quantifier in the L-value First-order Logic LF(X)[J].Fuzzy Systems and Mathematics,2007,21(2):40-45. | |
| Authors: | ZHOU Ping JIANG Ming XU Yang |
| Institution: | 1. Dept. of Math. ,Siehuan Normal University,Chengdu 610066,China; 2. Dept. of Physics,Southwest University for Nationalities,Chengdu 610041 ,China; Intelligent Control Development Center,Southwest Jiaotong University,Chengdu 610031,China |
| Abstract: | In the present paper,generalized quantifier in the L-valued first-order logic LF(X) is focused.The uncertainty reasoning with generalized quantifier of FMP,FMT are proved.Those will become the theoretical foundation for linguistic logic reasoning. |
| Keywords: | L-valued First-order Logic LF(X) Generalized Quantifier Uncertainty Reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |