Using Active Connection Graphs for Reasoning with Recursive Rules.
Donald P. McKayStuart C. ShapiroPublished in: IJCAI (1981)
Keyphrases
- rule based reasoning
- logical rules
- conflicting information
- production rules
- inference engine
- graph theory
- default rules
- active databases
- multi context systems
- case based reasoning
- graph matching
- meta rules
- classification rules
- uncertain information
- eca rules
- association rules
- decision trees
- reasoning mechanisms
- forward chaining
- artificial intelligence
- derivation rules
- reasoning process
- graph theoretic
- bipartite graph
- rule sets
- knowledge base
- reasoning tasks
- reasoning systems
- graph model
- graph mining
- graph structure
- logical formulas
- temporal reasoning
- decision rules
- knowledge representation