by cycorpinc | Apr 12, 2021
A tactic is determined by the Worker. When executed, it performs one unit of inference. See also the section on tactics in the Inference Algorithm training module. [restrict level=”employee”] [Content for Cycorp employees only]...
by cycorpinc | Apr 12, 2021
The Tactician is the component of the Inference Harness that is controlled by the Strategist, maintains a store of work that can be performed, and chooses among those tasks, instructing a Worker to work on them. More details can be found in the training module on the...
by cycorpinc | Apr 12, 2021
The Template OE tool (often referred to as the TOE tool) allows a cyclist to add or modify terms or assertions in bulk based on the results of a user-specified query. For more details, see the TOE tool training module.
by cycorpinc | Apr 12, 2021
A term, represented in the Cyc Knowledge Base by #$CycLTerm, is anything that can be an argument to a predicate or function. Variables are terms. Constants and reified NATs are terms. Non-reified NATs are terms. Numbers, strings, or even entire formulas can serve as...
by cycorpinc | Apr 12, 2021
A transcript is a file which records operations performed on the Cyc KB. At a site where several copies of Cyc are in use simultaneously and connected by a Transcript Server, transcripts can be transmitted to keep the various copies of the KB synchronized with each...
