by cycorpinc | Apr 12, 2021
Most generally, a literal is a CycL sentence of the form (predicate arg1 [arg2 … argn]), or its negation, where the number of arguments to the predicate can be any positive integer (but usually not more than 5), and the arguments can be any kind of term. For...
by cycorpinc | Apr 12, 2021
Logical connectives are represented in CycL by special constants with names that are similar to the logical operators of formal logic. CycL connectives (as these constants are sometimes called) are used to build up complex formulas out of atomic formulas. The CycL...
by cycorpinc | Apr 12, 2021
A meta-assertion is an assertion about another assertion in the KB. Stated another way, a meta-assertion is an assertion having another assertion as one of its arguments. Common examples of meta-assertions are assertions made with the...
by cycorpinc | Apr 12, 2021
A microtheory (Mt), also referred to as a context, is a Cyc constant denoting assertions which are grouped together because they share a set of assumptions. Those assertions are said to be “in” that microtheory, and each assertion is in exactly one...
by cycorpinc | Apr 12, 2021
Modus ponens is a rule of inference under which, given a knowledge base which contains the formulas “A” and “A implies B”, one may conclude “B”.
