opencog / ure Star 54 Code Issues Pull requests Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog. rule-engine chainer inference rules-engine backward-chaining inference-engine inference-rules graph-rewriting forward-chaining backward-induction Updated Apr 2, 2024 C++
DeanLee77 / NADIA-CPP Star 1 Code Issues Pull requests This is an open source project for building Rule/Policy Inference Engine written in C/C++ rule-engine inference nadia expert-system policy-engine backward-chaining inference-engine inference-rules forward-chaining nadia-rule nadia-policy nadia-java nadia-python backward-chaining-algorithm forward-chain nadia-cpp nadia-rest Updated Oct 5, 2022 C++
KrishnaJay / Inference-Engine Star 1 Code Issues Pull requests Prove or disprove the given query based on the knowledge base parsing cpp strings tokenizer cpp14 first-order-logic artificial-intelligence inference-engine inference-rules unification-algorithm resolution-proof Updated Oct 26, 2018 C++