Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning.
Pan LuRan GongShibiao JiangLiang QiuSiyuan HuangXiaodan LiangSong-Chun ZhuPublished in: ACL/IJCNLP (1) (2021)
Keyphrases
- formal language
- symbolic reasoning
- diagrammatic reasoning
- formal semantics
- production rules
- symbolic representation
- natural language interface
- natural language
- multipath
- knowledge acquisition
- cognitive model
- representation language
- artificial intelligence
- knowledge based systems
- query language
- truth maintenance systems
- classification rules
- data mining