Exploring Neural Models for Parsing Natural Language into First-Order Logic

no code implementations • 16 Feb 2020 • Hrituraj Singh, Milan Aggrawal, Balaji Krishnamurthy

We model FOL parsing as a sequence to sequence mapping task where given a natural language sentence, it is encoded into an intermediate representation using an LSTM followed by a decoder which sequentially generates the predicates in the corresponding FOL formula.

Semantic Parsing Sentence