Fuzzy concepts and formal methods: a sample specification for a fuzzy expert system.
Chris MatthewsPublished in: FUZZ-IEEE (2002)
Keyphrases
- formal methods
- formal specification
- provably correct
- formal analysis
- model checking
- artificial intelligence
- safety critical
- model checker
- fuzzy sets
- process algebra
- reactive systems
- knowledge based systems
- software engineering
- fuzzy rules
- fuzzy logic
- fuzzy ontology
- fuzzy numbers
- membership functions
- concept lattice
- formal specification language
- fuzzy set theory
- reverse engineering
- black box
- natural language