by cycorpinc | Apr 12, 2021
An open variable is a type of variable indicated by a ? preceding its arbitrarily-chosen name, and which is not in the scope of any quantifier like #$forAll or #$thereExists — i.e. it is a variable that is not bound by a quantifier. Open variables often appear...
by cycorpinc | Apr 12, 2021
In Cyc, an operation is a unit of work performed by a Cyc instance that can be recorded in a file on the local file system. Operations are typically KB modifications. That is, they will typically be either the addition of an assertion into the KB, an Unassert of an...
by cycorpinc | Apr 12, 2021
PlutoDiff is a technique that entails switching between two similar tabs/windows to attempt to visually spot a difference. It’s named after the method by which Pluto was discovered.
by cycorpinc | Apr 12, 2021
A pragmatic requirement (or pragma for short) is a type of meta-assertion on a rule. Pragmas state literals that must be true in order for the rule to be used in an inference. Like literals in the warrant of the rule (and unlike exceptions), pragmas are checked...
by cycorpinc | Apr 12, 2021
The Precanonicalizer is a (mostly) syntactic preprocessor for the Canonicalizer. It eliminates #$ELRelations by replacing them with their expanded forms by using their EL-evaluatable functions (see #$evaluateAtEL). For example, the #$DateFromStringFn convenience...
