| 形式赋值系统的研究 |
| |
| 引用本文： | 张素琴,蒋维杜,叶旭东.形式赋值系统的研究[J].清华大学学报(自然科学版),1994(1). |
| |
| 作者姓名： | 张素琴 蒋维杜 叶旭东 |
| |
| 摘 要： | 将一阶谓词演算系统进行语构和语义两方面的扩充，即引进比率量词和模糊量词，将真值区域｛０，１｝扩展到［０，１］，进而建立一个带有比率量词的一阶一型模糊谓词逻辑系统（ＦＯＦＬＲ）。基于模糊逻辑，文中还讨论了一个专家咨询系统框架。
|
| 关 键 词： | 量词，模糊逻辑 专家系统，一阶谓词逻辑 |
Study of a formal valuation system |
| |
| Zhang Suqin, Jiang Weidu, Ye Xudong.Study of a formal valuation system[J].Journal of Tsinghua University(Science and Technology),1994(1). |
| |
| Authors: | Zhang Suqin Jiang Weidu Ye Xudong |
| |
| Institution: | Department of Computer Science and Technology |
| |
| Abstract: | The first-order predicate logic is extended in two aspectslinguistic structure and semantics. In linguistic structure, the ratio quantifier and fuzzy quantifier are introduced, and in semantics, the domain of truth value is extended from {0, 1} to 0, 1]. Then the paper discusses fuzzy universe and multi-universe of discourse. On the basis of fuzzy logic,a framework of consulting expert system is constructed. |
| |
| Keywords: | quantifier fuzzy logic expert system first-order predicate logic |
| 本文献已被 CNKI 等数据库收录！ |
