Is the success of fuzzy logic really paradoxical?: Toward the actual logic behind expert systems
Is the success of fuzzy logic really paradoxical?: Toward the actual logic behind expert systems
复制标题
模糊逻辑的成功真的是自相矛盾的吗？：走向专家系统背后的实际逻辑
DOI：
10.1002/(sici)1098-111x(199605)11:5
复制
发表时间：
1996
影响因子：
7
通讯作者：
V. Kreinovich
中科院分区：
文献类型：
--
作者：
H. Nguyen;O. Kosheleva;V. Kreinovich
The formal concept of logical equivalence in fuzzy logic, while theoretically sound, seems impractical. The misinterpretation of this concept has led to some pessimistic conclusions. Motivated by practical interpretation of truth values for fuzzy propositions, we take the class (lattice) of all subintervals of the unit interval [0, 1] as the truth value space for fuzzy logic, subsuming the traditional class of numerical truth values from [0, 1]. The associated concept of logical equivalence is stronger than the traditional one. Technically, we are dealing with much smaller set of pairs of equivalent formulas, so that we are able to check equivalence algorithmically. The checking is done by showing that our strong equivalence notion coincides with the equivalence in logic programming. © 1996 John Wiley & Sons, Inc.
