Constraint Tableaux for Two-Dimensional Fuzzy Logics.
Marta BílkováSabine FrittellaDaniil KozhemiachenkoPublished in: TABLEAUX (2021)
Keyphrases
- modal logic
- decision procedures
- three dimensional
- fuzzy logic
- fuzzy sets
- fuzzy clustering
- expressive power
- multi dimensional
- membership functions
- sequent calculi
- nonmonotonic logics
- fuzzy set theory
- fuzzy rules
- inference rules
- fuzzy systems
- evolutionary algorithm
- data sets
- functional dependencies
- conditional logic
- artificial intelligence
- fuzzy membership functions
- knowledge base
- packing problem
- multi agent systems
- constraint networks
- fuzzy inference system
- fuzzy neural network
- fuzzy numbers
- soft computing