Formalize
Brief:
translates NL to Logic
Jump To: Parent Description
Code:
GitHub
Jump To: Parent Description
Related Systems:
formalize2
freeLogicForm
nlToFOL
nlToGDL
nlToPDDL
nlu
- 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.