huzzy-0.1.5.5: Fuzzy logic library with support for T1, IT2, GT2.

Safe HaskellSafe-Inferred
LanguageHaskell2010

Huzzy.TypeOne.Systems

Synopsis

Documentation

class Fuzzy a => FRule a where Source

Allows overloading of functions used in rule definition.

Associated Types

type Antecedent a Source

Firing strength

Methods

(=*>) :: Antecedent a -> a -> a infix 0 Source

Scaling implication.

(=|>) :: Antecedent a -> a -> a infix 0 Source

Truncate implication.

weight :: a -> Double -> a Source

Weight a rule

Instances

FRule Double 
FRule (MF a) 
FRule (T1Set a)

Simple type-1 fuzzy rule systems.

FRule (IT2Set a) 
FRule (T2ZSet Double)

In zSlices type-2 fuzzy sets, both implicators are the same.

FRule b => FRule (a -> b) 

class FRule a => Defuzzifier a where Source

Overloaded defuzzification functions.

Associated Types

type Result a Source

Methods

centroid :: a -> Result a Source