Formalize

Brief: translates NL to Logic
Jump To: Parent Description
Code: GitHub

  • System to translate NL to logic. Currently based on opencyc, Wordnet, Ted Pedersen's WSD modules, etc. May possibly add Alvis to the chain. Converts NL to Logic Form using Enju.