Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions.
Paul WildLutz SchröderPublished in: CONCUR (2020)
Keyphrases
- fuzzy sets
- fuzzy rules
- default logic
- expressive power
- fuzzy logic
- membership functions
- fuzzy controller
- nonmonotonic logics
- fuzzy reasoning
- fuzzy numbers
- fuzzy clustering
- error metrics
- valued logic
- fuzzy neural network
- decision trees
- modal logic
- software engineering
- inference rules
- knowledge representation formalisms
- fuzzy information
- multi agent systems