by cycorpinc | Apr 12, 2021
In the context of the Cyc KB, the dependents of an assertion are those other assertions that use the first assertion in one of their supporting deductions. When an assertion A participates in a successful forward inference, a deduction data structure will be created....
by cycorpinc | Apr 12, 2021
Direction is a value attached to every assertion which determines whether inference involving the assertion is done when an assertion is added to the KB, or done in response to a query being asked. There are three possible values for direction: :forward (inference...
by cycorpinc | Apr 12, 2021
A disjunct is one term of a disjunction.
by cycorpinc | Apr 12, 2021
Disjunction is represented in Cyc by the logical connective #$or. A formula is sometimes called a disjunction if it begins with #$or.
by cycorpinc | Apr 12, 2021
Disjunctive Normal Form (DNF) is the form into which each Cyc assertion or query can be recast at the HL level. This is most salient for Cyc with respect to queries, as each query is translated into its disjunctive normal form prior to looking for bindings to the...
