HerveVerjus / SmallAI

SmallAI-Inference Engine proposes an inference engine for both the logic of propositions and the logic of predicates. It contains the notion of forward and backward chaining.

The project contains as well a truth maintenance system for the logic of propositions. The truth maintenance system considers non-monotonic addition to the fact base. It is then possible that adding a fact removes opposite facts to this one. Truth maintenance system relies on trust for the revision of the fact base.

Please use the tutorial for a further detailed description of the project.