Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- newtype MF a = MF (a -> Double)
- class Fuzzy a where
- class FSet a where
- tCo :: (Num a, Fuzzy a) => FuzOp a -> a -> a -> a
- tGodel :: (Fuzzy a, Ord a) => FuzOp a
- tProd :: (Fuzzy a, Num a) => FuzOp a
- tLuk :: (Fuzzy a, Num a, Ord a) => FuzOp a
- tDras :: (Fuzzy a, Eq a, Num a) => FuzOp a
- tNilMin :: (Fuzzy a, Eq a, Num a, Ord a) => FuzOp a
- tHam :: (Fuzzy a, Eq a, Num a, Fractional a) => FuzOp a
- discrete :: Eq a => [(a, Double)] -> MF a
- singleton :: Double -> MF a
- tri :: Double -> Double -> Double -> MF Double
- trap :: Double -> Double -> Double -> Double -> MF Double
- bell :: Double -> Double -> Double -> MF Double
- gaus :: Double -> Double -> MF Double
- up :: Double -> Double -> MF Double
- down :: Double -> Double -> MF Double
- sig :: Double -> Double -> MF Double
Documentation
Type representing type-1 membership functions.
Standard operations on fuzzy sets. Instantiated for each kind of fuzzy set. If you want to overload with a t-norm, instantiate against a newtype or instantiated set.
(?&&) :: a -> a -> a infixr 3 Source
Union over fuzzy values.
(?||) :: a -> a -> a infixr 2 Source
Intersection over fuzzy values.
Fuzzy complement.
Fuzzy Double | Standard definitions for operations as defined by Zadeh (1965) |
Fuzzy (MF a) | |
Fuzzy (T1Set a) | Fuzzy operators are supported on T1Sets. Applies operator to membership functions inside T1Set type. |
Fuzzy (IT2Set a) | Interval Type-2 fuzzy sets allow us to work in type-1 concepts. Operators are defined through application to lower and upper membership functions. |
Fuzzy (T2ZSet a) | Operations on zSlices fuzzy sets are simply defined as higher order funcitons over the list of zSlices. |
Fuzzy b => Fuzzy (a -> b) | Fuzzy operators for membership functions. |
(Fuzzy a, Fuzzy b) => Fuzzy (a, b) | Instance for tuple needed for interval type-2 fuzzy sets. |
Specifically for fuzzy sets, as opposed to fuzzy values.
Support is all elements of domain for which membership is non-zero.
Hedge is a modifier of fuzzy sets.
is
is for application of a value to a fuzzy set.
A single value of the domain.
A list of values from the domain for which membership is non-zero.
Degree of membership from applying a value to membership function.