Cyc Inference Engine

Home / Glossary / Cyc Inference Engine

The Cyc Inference Engine is an implementation of the Inference Algorithm, which tries to prove closed CycL sentences, and tries to find bindings for open variables in CycL sentences if they are present.

These training modules give more information about the Inference Engine.


7000 North Mopac Expressway, Suite #200
Austin, TX 78731, USA