Computer understanding and generalization of symbolic mathematical calculations: a case study in physics problem solving.
Jude W. ShavlikGerald DeJongPublished in: SYMSAC (1986)
Keyphrases
- artificial intelligence
- solving problems
- computer systems
- engineering design
- computer science
- case study
- case based reasoning
- word problems
- test bed
- machine learning
- information systems
- knowledge structures
- computer algebra systems
- human cognition
- machine intelligence
- mental models
- computer programs
- mathematical models
- information processing
- deeper understanding
- decision making
- quantum mechanics
- knowledge acquisition
- cognitive processing
- support vector