Skip to content
System to translate NL to logic. Currently based on OpenCyc, Wordnet, Ted Pedersen's WSD modules, Enju, etc.
Prolog Perl 6 Perl
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
Formalize2
data-git
frdcsa
scripts
systems/e2c
Formalize.pm
Formalize2.pm
LICENSE
Makefile
README.md
data
formalize
formalize.el
formalize2
gpl.txt
notes
results.txt
sample-results
to.do
to.pse

README.md

Formalize

translates NL to Logic

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.

http://frdcsa.org/frdcsa/internal/formalize

You can’t perform that action at this time.