by cycorpinc | Apr 12, 2021
A Heuristic Level Identifier (HL ID or HLID) is a compact string that externally identifies data objects in the KB. Heuristic Level means that the HL ID is based on the heuristic level rather than the epistemological level. Compact means that the HL ID is shorter than...
by cycorpinc | Apr 12, 2021
HL modules are specialized pieces of inference code designed to make inference more efficient. See also: Transformation Removal Removal modules [restrict level=”employee”] [Content for Cycorp employees only]...
by cycorpinc | Apr 12, 2021
An HL support is a type of support that is a way of packaging up justifications that are either impractical or impossible to manifest. A single HL support can represent multiple justifications, sometimes numbering in the thousands or millions. Some HL supports are...
by cycorpinc | Apr 12, 2021
An indexical is an expression whose referent (or denotation) is determined by the context in which it is used. The term indexical, when used by a Cyclist, may refer to: a natural language indexical, which is an indexical expression occurring in natural language. For...
by cycorpinc | Apr 12, 2021
In the Cyc ontology, an individual-denoting constant is a constant that denotes a single object, rather than a collection of objects. For example, the constant #$Snoopy denotes a specific dog, while the collection-denoting constant #$Dog denotes the collection of all...
