by cycorpinc | Apr 12, 2021
English-0 representations are simple natural language expressions of facts or rules to be represented in Cyc. The process of generating English-0 representations typically involves writing a list of 20-50 questions, in simple English, that Cyc should be able to answer...
by cycorpinc | Apr 12, 2021
Epistemological level (EL) refers to the way knowledge is expressed when Cyc communicates with users or external programs. This stands in contrast with heuristic level (HL), which refers to the way knowledge is actually stored, and inference implemented, in Cyc.
by cycorpinc | Apr 12, 2021
The term evaluatable refers to a function or predicate for which some calculation is required in SubL. Some predicate might be deemed evaluatable if computing its value would be more efficient in a non-declarative language like CycL; for example, calculating the...
by cycorpinc | Apr 12, 2021
Existential quantification is quantification with the #$thereExists quantifier. For example, the following existentially quantified CycL sentence states that there is some unmarried human adult: (thereExists ?SINGLE (and (isa ?SINGLE HumanAdult) (maritalStatus ?SINGLE...
by cycorpinc | Apr 12, 2021
In the most general sense, an expression is a sequence of symbols. The phrase “CycL expression” refers to expressions that follow the syntax rules of CycL. Some CycL expressions are propositions or statements about the world; these are called...
