| 一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用 |
| |
| 引用本文： | 张兴芳,孟广武.一阶模糊谓词逻辑公式的有限解释真度和可数解释真度的理论及其应用[J].计算机科学,2005,32(10):1-5. |
| |
| 作者姓名： | 张兴芳 孟广武 |
| |
| 作者单位： | 聊城大学数学科学学院,山东聊城252059 |
| |
| 摘 要： | 通过引进公式变元集赋值的新概念给出了一阶模糊谓词逻辑（或一阶模糊语言）公式的有限解释真度及可数解释真度的定义,并讨论了它们的一系列性质及其在近似推理中的应用,从而为一阶谓词逻辑的近似推理理论提供了一种带度量的框架.
|
| 关 键 词： | 一阶模糊谓词逻辑 公式变元集的赋值 有限解释真度 可数解释真度 |
Theory of Truth Degree of First-order Fuzzy Predicate Logics Formulas Based on the Finite Interpretation and Enumerable Interpretation and its Application |
| |
| ZHANG Xing-Fang,MENG Guang-Wu.Theory of Truth Degree of First-order Fuzzy Predicate Logics Formulas Based on the Finite Interpretation and Enumerable Interpretation and its Application[J].Computer Science,2005,32(10):1-5. |
| |
| Authors: | ZHANG Xing-Fang MENG Guang-Wu |
| |
| Affiliation: | School of Mathematics Science, Liaocheng University, Liaocheng,Shandong, 252059 |
| |
| Abstract: | In this paper we gave the definition of truth degree based on finite and enumble interpretation of first-order fuzzy predicate logic (or first-order language) formulas by introducing the new concept of evaluation of set of variable of formulas,and discuss its a series of properties and applications in approximate reasoning. Consequently we offered a theoretic basis for reasoning of first-order fuzzy predicate logic. |
| |
| Keywords: | First-order fuzzy predicate logic Valuation of set of formulas variable Truth degree of finite interpretation Truth degree of enumerable interpretation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
