Fuzzy Logic: Misconceptions and Clarifications

作者:Carl W. Entemann

摘要

Some commonly accepted statements concerning the basic fuzzy logicproposed by Lotfi Zadeh in 1965, have led to suggestions that fuzzy logicis not a logic in the same sense as classical bivalent logic. Thoseconsidered herein are: fuzzy logic generates results that contradictclassical logic, fuzzy logic collapses to classical logic, there can be no prooftheory for fuzzy logic, fuzzy logic is inconsistent, fuzzy logic producesresults that no human can accept, fuzzy logic is not proof-theoreticcomplete, fuzzy logic is too complex for practical use, and, finally, fuzzylogic is not needed. It is either proved or argued herein that all of the thesestatements are false and are, hence, misconceptions. A fuzzy logic withtruth values specified as subintervals of the real unit interval [0.0, 1.0] isintroduced. Proofs of the correctness, consistency, and proof theoreticcompleteness of the truth interval fuzzy logic are either summarized orcited. It is concluded that fuzzy logics deserve the accolade of logic tothe same degree that the term applies to classical logics.

论文关键词:knowledge management, logic inference, logic processing, theorem proving, uncertainty, uncertainty reasoning

论文评审过程:

论文官网地址:https://doi.org/10.1023/A:1015055728744