Formal methods for fuzzy mathematics, approximation and reasoning - Part II.
Vilém NovákIrina PerfilievaLibor BehounekPetr CintulaPublished in: Fuzzy Sets Syst. (2009)
Keyphrases
- formal methods
- fuzzy reasoning
- fuzzy description logics
- fuzzy sets
- formal analysis
- fuzzy logic
- safety critical
- artificial intelligence
- model checking
- membership functions
- provably correct
- formal specification
- model checker
- knowledge based systems
- process algebra
- fuzzy numbers
- knowledge base
- software engineering
- knowledge representation
- development lifecycle
- computer science
- reverse engineering
- fuzzy set theory
- modeling language
- reactive systems
- relational databases
- expert systems