Formal methods for fuzzy mathematics, approximation and reasoning - Part I.
Vilém NovákIrina PerfilievaLibor BehounekPetr CintulaPublished in: Fuzzy Sets Syst. (2008)
Keyphrases
- formal methods
- fuzzy reasoning
- formal analysis
- formal specification
- safety critical
- fuzzy description logics
- fuzzy sets
- knowledge based systems
- model checking
- model checker
- artificial intelligence
- process algebra
- provably correct
- software engineering
- fuzzy logic
- fuzzy rules
- membership functions
- fuzzy set theory
- knowledge representation
- computer science
- security properties
- data mining
- formal specification language
- modeling language
- production rules
- multi agent systems
- knowledge base