Geometry Problem Solving Based on Counter-Factual Evolutionary Reasoning.
Bing SongGang XiongZhen ShenFenghua ZhuYisheng LvPeijun YePublished in: CASE (2023)
Keyphrases
- analogical reasoning
- reasoning process
- solving problems
- three dimensional
- case based reasoning
- artificial intelligence
- diagnostic problem solving
- multiple representations
- knowledge representation
- general intelligence
- reasoning processes
- reasoning systems
- automated reasoning
- knowledge acquisition
- evolutionary computation
- genetic algorithm
- declarative knowledge
- knowledge base
- meta level
- reasoning tasks
- reasoning mechanisms
- legal reasoning
- control knowledge
- hierarchical problem solving
- complex problem solving
- rule based reasoning
- procedural knowledge
- cooperative
- cognitive model
- explanation based learning
- knowledge structures
- engineering design