asaparov/PWL
Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.
This project helps researchers in natural language understanding create and test systems that can 'learn' a world model from text. It takes in sentences or logical forms and outputs a symbolic theory representing the learned understanding, along with proofs. Anyone working on advanced AI for language comprehension would find this useful.
No commits in the last 6 months.
Use this if you are a researcher developing systems that need to understand natural language by building internal symbolic representations or 'theories' from text.
Not ideal if you are looking for a ready-to-use application or a simple API for common natural language processing tasks.
Stars
17
Forks
4
Language
C++
License
Apache-2.0
Category
Last pushed
Jun 13, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/nlp/asaparov/PWL"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
opencog/link-grammar
The CMU Link Grammar natural language parser
mafait/Thinknowlogy
Automated reasoning based on the Laws of Intelligence naturally embedded in the human language •...
kovvalsky/LangPro
Tableau-based Theorem Prover for Natural Logic and Language
Attempto/APE
Parser for Attempto Controlled English (ACE)
UnitexGramLab/unitex-core
Unitex/GramLab C++ Core