Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning.
Pan LuRan GongShibiao JiangLiang QiuSiyuan HuangXiaodan LiangSong-Chun ZhuPublished in: CoRR (2021)
Keyphrases
- formal language
- symbolic reasoning
- diagrammatic reasoning
- formal semantics
- symbolic representation
- production rules
- natural language interface
- natural language
- artificial intelligence
- representation language
- knowledge acquisition
- first order logic
- multipath
- modeling language
- knowledge structures
- database
- classification rules
- knowledge discovery
- knowledge representation
- knowledge base
- databases