logical-knowledge-inference

There are 6 repositories under logical-knowledge-inference topic.

ParhamP/Natural_Logic_Interpreter
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
Language:Python117 10 010
primaryobjects/knowledgebase
An expert system using logic-based artificial intelligence and symbolic AI.
Language:JavaScript78 10 010
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:Java46 6 1312
paladin-t/joan_demo
An NLP solution for Chinese. Demonstrates with a full functional chatbot.
Language:HTML14 7 06
alienbloodbank/Automated-Reasoning
Inference methods for Propositional Logic
Language:Haskell2 3 00
voteva/expert-systems-labs
Language:Kotlin2 1 01