by cycorpinc | Apr 12, 2021
Removal modules are a type of HL module used during Cyc inference to solve a query or sub-query by proving a fully-bound literal or by finding bindings for open variables. They are called “removal” modules because their successful application results in...
by cycorpinc | Apr 12, 2021
Represented terms, represented in the Cyc Knowledge Base by #$CycLRepresentedTerm, are denotational terms that are represented in CycL instead of being defined in SubL, the underlying implementation language used by Cyc. Constants, variables, and non-atomic terms are...
by cycorpinc | Apr 12, 2021
Informally, a rule or conditional is any CycL assertion whose sentence begins with #$implies. Typically, a rule has two parts: an antecedent and a consequent, or left-hand side and right-hand side>. For example, (implies (isa ?BIRD FlightlessBird)...
by cycorpinc | Apr 12, 2021
A rule macro predicate (RMP) is a predicate that is used to state a rule in a compact way that can be read more easily and supported with removal modules for more efficient reasoning. #$genls and #$relationAllExists are examples of commonly used rule macro...
by cycorpinc | Apr 12, 2021
SBHL stands for “Subsumption-Based Heuristic Layer” (or “Level”). SBHL modules are removal modules that support efficient searches for Cyc’s most frequently used transitive predicates (#$genls, #$genlMt, and #$genlPreds), and for...
