Knowledge Assimilation and Proof Restoration Through the Addition of Goals.
Hisashi HayashiPublished in: AIMSA (1998)
Keyphrases
- knowledge base
- real world
- knowledge acquisition
- domain knowledge
- knowledge extraction
- website
- knowledge representation
- image restoration
- prior knowledge
- information technology
- expert systems
- database
- knowledge management
- image processing
- knowledge based systems
- higher level
- neural network
- domain experts
- background knowledge
- human experts
- theorem prover
- theorem proving
- real time