Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs.
Sergio Gutiérrez SantosDarren PearceEirini GeraniouManolis MavrikisPublished in: Diagrams (2008)
Keyphrases
- dependency graphs
- analogical reasoning
- reasoning process
- solving problems
- dependency graph
- artificial intelligence
- case based reasoning
- mathematical proofs
- reasoning processes
- multiple representations
- procedural knowledge
- information processing
- reasoning mechanisms
- automated reasoning
- model based reasoning
- human reasoning
- explanation based learning
- knowledge representation
- declarative knowledge
- word problems
- human problem solving
- reasoning systems
- knowledge base
- legal reasoning
- reasoning tasks
- spatial reasoning
- knowledge structures
- formal models
- first order logic
- machine learning
- diagrammatic reasoning
- data structure
- complex problem solving
- knowledge acquisition
- decision support
- cognitive processing
- neural network
- case retrieval
- control knowledge