Relative Truth Degree of Logic Formulas and Graded Fuzzy Logic.
Li FuPublished in: Comput. Inf. Sci. (2009)
Keyphrases
- fuzzy logic
- truth values
- valued logic
- alternating time temporal logic
- genetic algorithm
- fuzzy sets
- computational intelligence
- modal logic
- neural network
- classical logic
- expert systems
- predicate calculus
- soft computing
- rough sets
- control system
- linear time temporal logic
- decision making
- intelligent control
- fuzzy set theory
- logic programming
- evolutionary computation
- fuzzy reasoning
- inference rules
- multi valued
- mathematical formulas
- artificial intelligence
- conjunctive normal form
- membership functions
- fuzzy membership functions
- probability theory
- rule base
- fuzzy logic controller
- model checking
- modal operators
- natural deduction
- proof theory
- fuzzy logic control
- neural networks and genetic algorithms
- back propagation
- complete axiomatization
- automated reasoning