Keyphrases
- fuzzy logic
- fuzzy sets
- model checking
- fuzzy rules
- fuzzy clustering
- artificial intelligence
- fuzzy set theory
- fuzzy neural
- fuzzy controller
- temporal logic
- membership functions
- linear temporal logic
- fuzzy systems
- fuzzy classification
- fuzzy membership functions
- bounded model checking
- data mining
- deterministic automata
- fuzzy reasoning
- group decision making
- multi criteria
- fuzzy neural network
- fuzzy numbers
- rule base
- input output
- first order logic