On the joint verification of Modus Ponens and Modus Tollens in fuzzy logic.
Enric TrillasClaudi AlsinaPublished in: EUSFLAT Conf. (2001)
Keyphrases
- modus ponens
- fuzzy logic
- decision rules
- rough sets
- neural network
- expert systems
- intelligent control
- fuzzy sets
- control system
- computational intelligence
- model checking
- genetic algorithm
- rule base
- soft computing
- verification method
- membership functions
- formal verification
- fuzzy reasoning
- fuzzy rules
- data sets
- joint estimation
- fuzzy control
- face verification
- similarity measure
- asynchronous circuits
- concurrent systems
- neural networks and genetic algorithms
- evolutionary computation
- fuzzy membership functions
- knowledge base
- back propagation
- information systems
- decision making
- evolutionary algorithm
- website