by cycorpinc | Apr 12, 2021
The Decanonicalizer is a module in the Canonicalization Subsystem that converts HL expressions into logically equivalent EL expressions. It performs the inverse of what the Canonicalizer proper does.
by cycorpinc | Apr 12, 2021
A deduced assertion is an assertion which was created as a result of inference within Cyc, and not necessarily directly input by a Cyclist or application program. Directly input assertions are known as asserted-argument assertions. Deduced assertion are supported by...
by cycorpinc | Apr 12, 2021
Deduction may refer to a method by which inference is performed, or to a data structure stored in the Cyc KB. Inference method: Deduction in Cyc uses two rules of inference. The first is, “If P implies Q, and P is known to be true, then Q is also true.”...
by cycorpinc | Apr 12, 2021
An assertion which is default true is assumed to be true in all cases, unless there is evidence to the contrary. Thus, unlike an assertion which is monotonically true, it has exceptions. It is represented in the Cyc Browser by a yellow ball. By default, every...
by cycorpinc | Apr 12, 2021
In CycL, denotational terms, represented in the Cyc Knowledge Base by #$CycLDenotationalTerm, are terms that are not CycL sentences, and thus are either atomic terms (such as constants or variables) or non-atomic terms (also known as “NAT”s). Denotational...
