On Proofs and Rule of Multiplication in Fuzzy Attribute Logic.
Radim BelohlávekVilém VychodilPublished in: IFSA (1) (2007)
Keyphrases
- t norm
- natural deduction
- fuzzy sets
- rule generation
- membership functions
- fuzzy controller
- attribute values
- cut elimination
- multiple attributes
- fuzzy decision trees
- fuzzy set theory
- proof search
- decision procedures
- fuzzy clustering
- set valued
- modal logic
- decision trees
- neuro fuzzy
- classical logic
- multi valued
- group decision making
- fuzzy systems
- fuzzy numbers
- rule sets
- fuzzy rules
- automated reasoning
- fuzzy rule based systems
- logic programming
- rule engine
- concept lattice