Algebraic Model and Implementation of Translation between Logic and Natural Language

With the development of human-computer interaction, requirement of translation between natural language and formal language is increasingly prominent. This paper studies the translation between natural language and logic languages (eg: propositional logic and predicate logic), we model the translation as algebra homomorphism, propose a framework of the translation and take Grammatical Framework as an implementation platform of translation. At the same time, we conduct experiments and tests to ensure effectiveness of our translation model and the method.