|
|||||
|
|
| 格值一阶逻辑系统LF(X)中的广义量词 | |
| 引用本文： | 周平,姜明,徐扬.格值一阶逻辑系统LF(X)中的广义量词[J].模糊系统与数学,2006,20(5):96-100. |
| 作者姓名： | 周平 姜明 徐扬 |
| 作者单位： | 1. 西南交通大学,智能控制中心,四川,成都,610031;四川师范大学,数学系,四川,成都,610066 2. 西南民族大学,电信学院,四川,成都,610041 3. 西南交通大学,智能控制中心,四川,成都,610031 |
| 基金项目： | 国家自然科学基金资助项目(60474022)，四川师范大学2005年度重点科研基金资助项目 |
| 摘 要： | 给出格值一阶逻辑系统LF(X)中广义量词的定义,讨论了带广义量词的不确定性推理的性质,为语言值逻辑推理提供科学的逻辑平台。 |
| 关 键 词： | 格值一阶逻辑系统LF(X) 广义量词 不确定性推理 |
| 文章编号： | 1001-7402（2006）05-0096-05 |
| 收稿时间： | 2005-09-05 |
| 修稿时间： | 2005-09-052005-09-30 |
Generalized Quantifier in the L-valued First-order Logic LF(X) |
|
| ZHOU Ping,JIANG Ming,XU Yang.Generalized Quantifier in the L-valued First-order Logic LF(X)[J].Fuzzy Systems and Mathematics,2006,20(5):96-100. | |
| Authors: | ZHOU Ping JIANG Ming XU Yang |
| Institution: | 1. Intelligent Control Development Center,Southwest Jiaotong University,Chengdu 610031, China; 2. Department of Mathematies,Siehuan Normal University,Chengdu 610066,China; 3. Department of Physics,Southwest University for Nationalities,Chengdu 610041 ,China |
| Abstract: | In the present paper, we gave the definition of the generalized quantifier in the L-valued first-order logic LF(X). We also discuss the properties of uncertainty reasoning with the generalized quantifier, which will become the theoretical foundation of linguistic logic reasoning. |
| Keywords: | L-valued First-order Logic LF(X) Generalized Quantifier Uncertainty Reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |