Improving the Scalability of Rule Base Verification Using Binary Decision Diagrams: An Empirical Study.
Christophe MuesJan VanthienenPublished in: KI (2004)
Keyphrases
- rule base
- binary decision diagrams
- fuzzy logic
- model checking
- fuzzy rules
- rule based systems
- symbolic model checking
- fuzzy systems
- linguistic rules
- knowledge base
- rule sets
- boolean functions
- neural network
- formal verification
- fuzzy controller
- membership functions
- model checker
- fuzzy model
- fuzzy logic controller
- fuzzy sets
- fuzzy rule bases
- planning problems
- computational intelligence
- database
- database design
- error rate
- control system
- artificial neural networks
- artificial intelligence
- machine learning