The Hyper System: Knowledge Reformation for Efficient First-Order Hypothetical Reasoning.
Helmut PrendingerMitsuru IshizukaTetsu YamamotoPublished in: PRICAI (2000)
Keyphrases
- hypothetical reasoning
- domain knowledge
- knowledge sources
- general purpose
- knowledge extraction
- deductive databases
- knowledge acquisition
- knowledge base
- expert systems
- logic programs
- prior knowledge
- knowledge representation
- databases
- higher order
- metadata
- higher level
- computationally efficient
- learning systems
- artificial intelligence
- learning algorithm
- neural network