Skip to content

An optimized AI inference engine based on first-order logic(FOL) Resolution technique, to prove if a query is true or false from an existing set of facts stored in a knowledge base.

Notifications You must be signed in to change notification settings

anumysore5/Inference-Engine-using-Resolution

Repository files navigation

Inference-Engine-using-Resolution

An optimized AI inference engine based on first-order logic(FOL) Resolution technique, to prove if a query is true or false from an existing set of facts stored in a knowledge base.

About

An optimized AI inference engine based on first-order logic(FOL) Resolution technique, to prove if a query is true or false from an existing set of facts stored in a knowledge base.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages