An Architecture for Integrating Reasoning Paradigms.
James M. SkinnerGeorge F. LugerPublished in: KR (1992)
Keyphrases
- knowledge representation
- reasoning process
- knowledge representation formalisms
- reasoning tasks
- reasoning systems
- automated reasoning
- reasoning mechanism
- knowledge representation and reasoning
- approximate reasoning
- causal reasoning
- uncertain information
- proof theory
- reasoning mechanisms
- resource bounded
- model based reasoning
- databases
- probabilistic logic
- production rules
- knowledge base
- search engine
- data mining