Kripke-Style Semantics for Non-Commutative Monoidal t-Norm Logic.
Denisa DiaconescuPublished in: J. Multiple Valued Log. Soft Comput. (2010)
Keyphrases
- t norm
- modal logic
- kripke models
- logic programming
- neuro fuzzy
- fuzzy sets
- probability theory
- fuzzy systems
- aggregation operators
- fuzzy set theory
- temporal logic
- desirable properties
- weighted average
- logic programs
- interval valued
- inference rules
- membership functions
- model checking
- neural network
- conditional independence
- fuzzy relations
- artificial intelligence
- intelligent systems
- data mining