Inference harness

Home / Glossary / Inference harness

The inference harness is the part of the Cyc inference engine which takes in canonicalized queries and attempts to provide proofs for them by performing Removal and Transformation.

The three main parts of the inference harness are the Worker, the Tactician, and the Strategist.

See also Inference Algorithm.

7718 Wood Hollow Drive, Suite 250
Austin, TX 78731, USA