Topic: "logical-knowledge-inference"
ParhamP/Natural_Logic_Interpreter
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
Language: Python - Size: 121 KB - Last synced at: over 1 year ago - Pushed at: almost 7 years ago - Stars: 117 - Forks: 10
primaryobjects/knowledgebase
An expert system using logic-based artificial intelligence and symbolic AI.
Language: JavaScript - Size: 94.7 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 80 - Forks: 10
graphik-team/graal
Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:
Language: Java - Size: 464 MB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 43 - Forks: 12
paladin-t/joan_demo
An NLP solution for Chinese. Demonstrates with a full functional chatbot.
Language: HTML - Size: 18.8 MB - Last synced at: about 1 month ago - Pushed at: almost 7 years ago - Stars: 14 - Forks: 6
alienbloodbank/Automated-Reasoning
Inference methods for Propositional Logic
Language: Haskell - Size: 147 KB - Last synced at: about 1 year ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
