Problem Solving in Interactive Proof: A Knowledge-Modelling Approach.
J. Stuart AitkenPublished in: ECAI (1996)
Keyphrases
- knowledge acquisition
- solving problems
- knowledge representation
- artificial intelligence
- knowledge base
- expert systems
- reasoning process
- knowledge structures
- domain experts
- ai systems
- knowledge level
- knowledge transfer
- prior knowledge
- cognitive skills
- cognitive models
- proof planning
- learned knowledge
- linear logic
- reasoning processes
- data sets
- procedural knowledge
- knowledge extraction
- engineering design
- knowledge sharing
- user interaction
- data mining techniques
- neural network