Login / Signup
On the joint verification of Modus Ponens and Modus Tollens in fuzzy logic.
Enric Trillas
Claudi Alsina
Published 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