by cycorpinc | Apr 12, 2021
Skolemization refers to the practice of implementing formulas that use existential quantification by replacing existentially quantified variables with special terms that use skolem functions and are a function of the other variables in the rule. It can also refer to...
by cycorpinc | Apr 12, 2021
Cyc predicates that take exactly two arguments are sometimes called slots, and the string “slot” shows up in the names of quite a few collections of binary predicates such as #$ActorSlot, #$QuantitySlot, #$FunctionalSlot, and more. This naming practice is...
by cycorpinc | Apr 12, 2021
Specialization is the inverse relationship to generalization. In speaking, Cyclists will often say that A specializes, or is a spec of, B if (genls A B) is true.
by cycorpinc | Apr 12, 2021
The Strategist is the component of the Inference Harness that performs the meta-meta reasoning. It reasons about the resource constraints and determines which Tactician or Tacticians would be best to use. Then it invokes the Tactician or Tacticians and cuts them off...
by cycorpinc | Apr 12, 2021
Strength is one of the properties of a Cyc assertion. Its possible values are “has exceptions” and “currently exceptionless”. At the heuristic level, i.e., once assertions are stored in the KB, strength is combined with the EL truth value...
