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.
[restrict level=”employee”]
[Content for Cycorp employees only]
[/restrict]