logical-knowledge-inference

There are 2 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

  logic-programmingnatural-languagelogical-knowledge-inferencelogical-knowledge-representationlogic-design
  Language:Python 116

• primaryobjects / knowledgebase

  An expert system using logic-based artificial intelligence and symbolic AI.

  expert-systemexpert-systemslogic-based-artificial-intelligencelogical-knowledge-inferenceknowledgebaseknowledgeknowledge-discoveryartificial-intelligenceaijavascriptnodejssymbolicsymbolic-ai
  Language:JavaScript 73

• graphik-team / graal

  Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:

  dataloglogical-knowledge-inferencelogical-knowledge-representationknowledge-baserule-engineai
  Language:Java 44

• paladin-t / joan_demo

  An NLP solution for Chinese. Demonstrates with a full functional chatbot.

  ainlplogical-knowledge-representationlogical-knowledge-inference
  Language:HTML 15

• alienbloodbank / Automated-Reasoning

  Inference methods for Propositional Logic

  haskellartificial-intelligencelogical-knowledge-inference
  Language:Haskell 2

• voteva / expert-systems-labs

  mamdanianfiskmeansbreadth-first-searchlogical-knowledge-inference
  Language:Kotlin 2