Selecting a fuzzy logic operation from the DNF-CNF interval: how practical are the resulting operations?

In classical (two-valued) logic, CNF and DNF forms of each propositional formula are equivalent to each other. In fuzzy logic, CNF and DNF forms are not equivalent, they form an interval that contains the fuzzy values of all classically equivalent propositional formulas. If we want to select a single value from this interval, then it is natural to select a linear combination of the interval's endpoints. In particular, we can do that for CNF and DNF forms of "and" and "or", thus designing natural fuzzy analogues of classical "and" and "or" operations. The problem with thus selected "and" and "or" operations is that, contrary to common sense expectations, they are not associative. We show the largest possible value of the corresponding non-associativity is reasonably small and thus, this non-associativity does not make these operations impractical.

[1]  I. Turksen,et al.  Computing with descriptive and veristic words , 1999, 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS (Cat. No.99TH8397).

[2]  George J. Klir,et al.  Fuzzy sets and fuzzy logic - theory and applications , 1995 .

[3]  Hung T. Nguyen,et al.  A First Course in Fuzzy Logic , 1996 .

[4]  Vladik Kreinovich,et al.  Nested Intervals and Sets: Concepts, Relations to Fuzzy Sets, and Applications , 1996 .

[5]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[6]  Vladik Kreinovich,et al.  A realistic (non-associative) logic and a possible explanations of 7 pm 2 law , 2002, Int. J. Approx. Reason..

[7]  John B. Shoven,et al.  I , Edinburgh Medical and Surgical Journal.

[8]  Thomas Whalen,et al.  Interval probabilities induced by decision problems , 1994 .