alevkov/text2log
Character-based seq2seq models (english => predicate logic)
This helps researchers and logicians translate English sentences into precise predicate logic statements. You provide natural language inputs, and it outputs a corresponding logical expression, making it easier to formalize natural language meaning. This is for anyone who needs to convert everyday language into a structured, machine-readable logical format.
No commits in the last 6 months.
Use this if you need to systematically convert English sentences into predicate logic for tasks like knowledge representation, automated reasoning, or semantic parsing.
Not ideal if you need to translate between natural languages (e.g., English to French) or generate natural language from logic.
Stars
16
Forks
6
Language
Jupyter Notebook
License
—
Category
Last pushed
Dec 26, 2020
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/nlp/alevkov/text2log"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
hyperquest-hq/hyperbase
A foundational library for Semantic Hypergraphs
smilelight/lightKG
基于Pytorch和torchtext的知识图谱深度学习框架。
KRLabsOrg/rulechef
Learn rule-based models from examples using LLM-powered synthesis. Replace expensive LLM calls...
qq547276542/Agriculture_KnowledgeGraph
农业知识图谱(AgriKG)：农业领域的信息检索，命名实体识别，关系抽取，智能问答，辅助决策
totogo/awesome-knowledge-graph
A curated list of Knowledge Graph related learning materials, databases, tools and other resources