Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.
Chris MatthewsPaul A. SwatmanPublished in: ZB (2000)
Keyphrases
- fuzzy logic
- formal methods
- fuzzy sets
- artificial intelligence
- linguistic variables
- membership functions
- fuzzy set theory
- fuzzy rules
- soft computing
- fuzzy membership functions
- expert systems
- neural network
- formal analysis
- computational intelligence
- safety critical
- formal specification
- vague concepts
- model checking
- model checker
- decision making
- genetic algorithm
- fuzzy reasoning
- control system
- fuzzy logic control
- knowledge based systems
- fuzzy numbers
- fuzzy inference
- process algebra
- provably correct
- rule base
- rough sets
- software engineering
- fuzzy inference system
- fuzzy control
- fuzzy model
- fuzzy ontology
- fuzzy controller
- security properties
- test cases
- machine learning