Verification of Rule Knowledge Bases Using Decision Units.
Roman SiminskiAlicja Wakulicz-DejaPublished in: Intelligent Information Systems (2000)
Keyphrases
- knowledge base
- production rules
- decision making
- model checking
- knowledge based systems
- decision rules
- decision makers
- knowledge acquisition
- formal verification
- logic programming
- description logics
- association rules
- expert systems
- knowledge representation
- rule sets
- fuzzy logic
- decision problems
- decision process
- verification method
- meta knowledge
- database
- rule discovery
- formal methods
- machine learning