The Impact of Disjunction on Reasoning under Existential Rules: Research Summary.
Michael MorakPublished in: CoRR (2014)
Keyphrases
- rule based reasoning
- production rules
- logical rules
- inference engine
- conflicting information
- reasoning mechanisms
- knowledge base
- backward chaining
- uncertain information
- classification rules
- meta rules
- knowledge representation
- association rules
- multi context systems
- reasoning process
- existentially quantified
- default rules
- reasoning systems
- legal reasoning
- reasoning tasks
- probabilistic reasoning
- rule sets
- decision rules
- case based reasoning
- automated reasoning
- causal models
- query answering
- fuzzy logic
- domain knowledge
- expert systems
- neural network