Automatic Derivation of Compositional Rules in Automated Compositional Reasoning.
Bow-Yaw WangPublished in: CONCUR (2007)
Keyphrases
- rule based reasoning
- semi automatic
- production rules
- fully automatic
- artificial intelligence
- computer aided
- backward chaining
- forward chaining
- automated reasoning
- context sensitive
- inference engine
- multi context systems
- conflicting information
- meta rules
- spatial reasoning
- rule base
- decision rules
- knowledge base
- probabilistic reasoning
- default reasoning
- semi automated
- reasoning tasks
- rule discovery
- uncertain information
- association rule mining
- case based reasoning
- default rules
- association rules
- decision making
- proof theoretic
- genetic algorithm