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