by cycorpinc | Apr 12, 2021
Most generally, an inference is a series of reasoning steps via which a conclusion is supported by evidence. In the context of Cyc, inference is what Cyc does when it is asked a query. “Inference” also refers to a type of data structure that the Cyc...
by cycorpinc | Apr 12, 2021
The inference browser is the tool that permits Cyclists to peruse a particular inference after a query (regardless of whether the query succeeded or failed). It will present all of the inference information about the result of the query including which rules and GAFs...
by cycorpinc | Apr 12, 2021
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...
by cycorpinc | Apr 12, 2021
Inference parameters are the knobs and switches of Cyc inference. The settings chosen for each inference parameter control how the Cyc inference engine goes about trying to prove a query, encouraging certain methods, discouraging others, and setting limits on the...
by cycorpinc | Apr 12, 2021
A justification is a list of supports that show why an answer was returned from an inference.
