Fuse, Reason and Verify: Geometry Problem Solving with Parsed Clauses from Diagram.
Ming-Liang ZhangZhong-Zhi LiFei YinLiang LinCheng-Lin LiuPublished in: CoRR (2024)
Keyphrases
- first order logic
- diagrammatic reasoning
- data fusion
- case based reasoning
- three dimensional
- artificial intelligence
- orders of magnitude
- information processing
- search space
- horn clauses
- analogical reasoning
- background knowledge
- engineering design
- explanation based learning
- cooperative learning
- solving problems
- collaborative problem solving
- complex problem solving
- consequence finding
- data sets
- knowledge acquisition
- domain knowledge
- uml activity diagrams