backward-chaining topic

Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.

opencog

This is an open source project for building Rule/Policy Inference Engine written in Java

DeanLee77

This is a rule-based logic system that uses forward- and backward-chaining algorithms to do two things: 1.) learn new rules and variable values based on those previously learned by the system, and 2.)...

mdkearns

Generic Expert System with a custom Knowledgebase and Clause mappings.

ap-atul