Some Obstacles to the Automation of Reasoning and the Problem of Redundant Information.
Larry WosPublished in: J. Autom. Reason. (1987)
Keyphrases
- database
- model based reasoning
- knowledge base
- reasoning systems
- knowledge representation
- automated reasoning
- conflicting information
- meta level
- reasoning process
- knowledge representation and reasoning
- obstacle detection
- analogical reasoning
- autonomous robot navigation
- proof theory
- rule based reasoning
- consistency checking
- spatial reasoning
- domain knowledge
- decision trees
- artificial intelligence