Semantic parsing is the task of translating natural language into a formal meaning representation on which a machine can act.
What's the opposite called? I.e. "translating a logical formalism into a 'informal' meaning representation in natural language on which a human can act." (but in a way that leaves no room for ambiguity?)