Efficient Rule Base Verification Using Binary Decision Diagrams.

Christophe Mues Jan Vanthienen

Published in: DEXA (2004)

Keyphrases

rule base
fuzzy logic
fuzzy rules
rule based systems
linguistic rules
binary decision diagrams
model checking
membership functions
fuzzy model
fuzzy systems
fuzzy logic controller
fuzzy rule bases
databases
knowledge base
fuzzy controller
symbolic model checking