L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates.
Oleh R. NykyforchynDusan RepovsPublished in: Fuzzy Sets Syst. (2012)
Keyphrases
- monotonicity constraints
- morphological operators
- logic rules
- fuzzy sets
- aggregation operators
- t norm
- membership functions
- fuzzy set theory
- fuzzy logic
- fuzzy controller
- linear systems
- fuzzy numbers
- fuzzy clustering
- affine invariant
- closed form
- horn clauses
- fuzzy rules
- fuzzy systems
- boolean operators
- boolean expressions
- fuzzy neural network
- neuro fuzzy
- rough sets