Keyphrases
- modal logic
- truth values
- logical rules
- rule sets
- active rules
- association rules
- classical logic
- production rules
- classification rules
- cut elimination
- rule engine
- automated reasoning
- horn clauses
- proof theoretic
- derivation rules
- predicate logic
- learning algorithm
- closed world assumptions
- rule extraction
- learning classifier systems
- inference engine
- inference rules
- decision rules
- background knowledge
- association rule mining
- logic programming
- state space
- domain knowledge