Indefinite Reasoning with Definite Rules.
L. Thorne McCartyRon van der MeydenPublished in: IJCAI (1991)
Keyphrases
- rule based reasoning
- production rules
- logical rules
- meta rules
- inference engine
- default rules
- association rules
- multi context systems
- conflicting information
- reasoning mechanisms
- backward chaining
- uncertain information
- knowledge base
- knowledge representation
- rule based systems
- classification rules
- machine learning
- proof theoretic
- rule extraction
- forward chaining
- reasoning systems
- reasoning process
- domain experts
- qualitative reasoning
- default reasoning
- deductive databases
- association rule mining
- knowledge acquisition
- case based reasoning
- intuitionistic logic
- derivation rules