There are plenty of resources to generate trees from natural language, but none to generate logical forms. Or maybe you know of some great resources to those ends?

  • It depends on what you mean by "logical form". A first-order formula? Or a higher-order expression (as in LFG)? Should it contain all logical connectives and quantifiers or rather be flat and scope-free? Any LFG parser will provide a (simplistic) LF. – Atamiri Feb 21 '15 at 11:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.