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.

• Inference Algorithm
• Using the Inference Browser
• Inference Debugging

[restrict level=”employee”][Content for Cycorp employees only][/restrict]