Defines the method used for finding the intersection (AND) or union (OR) of two fuzzy sets, e.g., hot AND cold or hot OR cold. The default fuzzy operation, Zadeh, is named after fuzzy logic's creator, Lofti Zadeh.
Namespace: FuzzyConsts
Delphi |
type |
|
Zadeh - Standard Fuzzy Intersection or Union operators. The Intersection is the minimum of two fuzzy sets and the Union is the maximum of two fuzzy sets. These operators are fast and have the desirable property of being distributive (order doesn't matter) Mean/MeanSqr/MeanSqrt - These are the compensatory Intersection or Union operators. In some ways, these operators are superior to the Zadeh Intersection and Union, because they are not overly sensitive to minimum/maximum truth values. It is also distributive (order doesn't matter, just like Zadeh Intersection). However, they are NOT commutative (order of rule conditions matter). Product - This is a compensatory Intersection and Union operator. The operation is well-behaved like the Zadeh Intersection, but also has another desirable attribute: it is potential interactively, that is, the product value changes for each value pair. In particular, it solves problem with time-varying sets. The Zadeh Intersection, which returns the minimum, can get stuck at the minimum, i.e., once you get to the minimum, you cannot go lower. The product changes the value every time it is called. For example: Given a pile of stones that makes a heap and Removing a single stone does not destroy the heap. From this logic, we can never unmake a heap with the minimum operator but the product operator will slowly reduce the truth value that the pile of stones is a heap. Bounded Sum - This is another algebraic compensatory operation, often also called the restricted sum or, with intersections, the bounded difference. The bounded sum acts more closely than any of the other operation types like classical logic, there is a fairly crisp border between membership and nonmembership. With the Bounded Sum Intersection, it acts as a filter which restricts membership to only high truth membership values. With the Bounded Sum union, it reverses its stance and opens membership to move to a unity value very quickly. |
Reference |