by cycorpinc | Apr 12, 2021
The Transcript Server (TS) performs the role of a “knowledge router”, effectively providing something akin to an RSS feed of continuous Cyc updates that are intended to be shared among Cyc instances. The TS is designed to receive, serialize (place in a...
by cycorpinc | Apr 12, 2021
A transformation is a step in an inference in which a literal is replaced by another literal or conjunction of literals; it becomes the focal literal for which bindings are needed. These transformations occur based on a rule in the Cyc KB, relating the replaced...
by cycorpinc | Apr 12, 2021
A truth maintenance system (TMS) is a mechanism whereby a knowledge-based system such as Cyc can remain consistent and truthful as its knowledge changes. For example, if facts have been added to the KB through inference based on a set of premises, and one of the...
by cycorpinc | Apr 12, 2021
In the Cyc Knowledge Base, a truth value is a value attached to an assertion which indicates its degree of truth. “Truth value” is a heuristic level property; it is a combination of what are 2 separate properties at the epistemological level: strength...
by cycorpinc | Apr 12, 2021
TVA stands for “transitive via arg”. #$transitiveViaArg is one of the “transitive via arg” predicates supported by Cyc inference. These predicates are used to state that one predicate behaves transitively — in a specified argument place...
