by cycorpinc | Apr 12, 2021
Strictly speaking, an axiom is one of a set of fundamental formulas that one starts with to prove theorems by deduction. In Cyc, the axioms are the formulas that have been locally asserted into the Cyc KB. Cyc axioms are well-formed formulas, since the system...
by cycorpinc | Apr 12, 2021
“Backward” is one of the possible values for direction that an assertion or rule may have. If an assertion has the direction “backward”, it may participate in backward inference only (not forward inference). Cf. forward assertion.
by cycorpinc | Apr 12, 2021
Backward inference refers to a mode of inference in which rules do not fire until Cyc is asked a query. If a rule is relevant to the query and transformation is allowed, the rule can be considered and might participate in a proof of the answer. This is in contrast to...
by cycorpinc | Apr 12, 2021
A binding is a temporary or contextual assignment of a value to something that does not have a fixed value, such as a variable or indexical term. When Cyc performs inference, it tries to find combinations of bindings for all the free variables in the query sentence...
by cycorpinc | Apr 12, 2021
A bundle is a directory of files that contains a standalone Cyc build, excluding additional components such as documentation and databases.